PODP
FIRST INTERNATIONAL WORKSHOP ON
PRINCIPLES OF DOCUMENT PROCESSING
The Workshop will focus on modeling document processing systems using
formal methods from computer science, optimization, logic, and any
other promising source.
Commercially available electronic document processing applications and
electronic document encodings include those for document creation
(e.g., FrameMaker, Word), document interchange (e.g., ODA, SGML),
document formatting (e.g., TeX, troff), document retrieval (e.g.,
Lexis and Nexis), hypertextual document browsing (e.g., Guide,
HyperCard), document recognition (e.g., Kurzweil, Calera) and document
rendering (e.g., Postscript, Interpress). This plethora of tools,
processes, and underlying representations is not based on any common
principles or models. This brings with it numerous costly and
difficult problems. For example: How can a document application
written for one document encoding be applied to documents represented
in another encoding? How can it be determined whether a document
application behaves as users intend? How can a document application be
extended in a principled fashion to offer new functionality? To a
large extent these problems result from the absence of commonly
accepted principles and models for document processing. This
situation will only be remedied when such principles and models have
been developed. Indeed, document processing can be fairly assessed as
being in a state similar to that obtaining for programming languages
prior to the development of syntax- and semantics-directed compilation
techniques, and that obtaining for databases prior to the development
of relational and deductive data models.
It is time to try to exploit current techniques and ideas from
computer science to raise principles and models of document processing
to the same intellectual level as principles and models for
programming languages and databases. This workshop is a first step in
that direction. It will help coalesce a community for the purpose of
articulating critical issues and to offer avenues of investigation and
ultimate solutions.
The organizers would like to see:
-papers identifying and articulating problems in document applications
that can be addressed by formal methods;
- papers about rigourous tools applicable to document processing. This
includes (but is not limited to) papers on the semantics, representation,
and transformation of documents; languages for document processing systems;
integrity and performance specifications; and verification methods.
Especially sought are papers making use of established methods from
mathematics and computer science: semantics; logics and logic
programming; mathematical programming and optimization; complexity;
algorithms; algebraic data types; grammars; natural language
processing, reactive and concurrent systems; knowledge
representations, specification languages. Reports on work in progress
are encouraged.
Selected contributors will be asked (by a committee of referees to be
announced) to submit full-length papers to a refereed volume to be
published a few months subsequent to the Workshop.
DATES
1:00pm October 21, 1992 until 12:00pm October 23, 1992
LOCATION
Philip Greenberg House
2301 Calvert St., NW
Washington, D.C. 20008-2644
The Greenberg House is a small conference facility owned by Syracuse
University. It is situated near the corner of Calvert and 24th
Streets, and is a 5-minute walk from the Woodley Park Zoo Metro
station and from the Sheraton Washington Hotel.
SPONSORS
Cornell University Mathematical Sciences Institute (an Army Research
Office Center of Excellence), Syracuse University School of Computer
and Information Science, and Xerox Webster Research Center. Additional
sponsors will be announced at a later date.
ORGANIZERS
Prof. Howard A. Blair, School of Computer and Information Science,
Syracuse University; Dr. Allen L. Brown, Jr., Webster Research Center,
Xerox Corporation; Prof. Richard K. Furuta, Department of Computer
Science, University of Maryland; Prof. Anil Nerode, Department of
Mathematics, Cornell University
SUBMITTALS
Prospective contributors of papers to be presented at the Workshop
should submit 3-5 page abstracts of their papers by July 31, 1992.
Abstracts should be sent to Dr. Allen L. Brown, Jr by either physical
mail
Xerox Webster Research Center
800 Phillips Road
128-29E
Webster, New York 14580
U.S.A.
electronic mail (as plain ASCII text, LaTeX or PostScript)
[log in to unmask]
or facsimile
+1 716 422 2126
The organizers will inform authors regarding the acceptance of their
abstracted papers on or before August 31, 1992. Prospective speakers
whose participation is contingent upon the defrayal of their travel
expenses, and who have no other source, should mention this need in
a letter accompanying their submitted abstracts. Limited funds are
available to the organizers to subsidize such expenses in a few
selected cases.
ACCOMMODATIONS
40 rooms have been reserved at
Sheraton Washington Hotel
2660 Woodley Road., NW
Washington, DC 20008
The reservation phone number is +1 202 328 2900. The conference rate
is $95/night. Attendees are expected to make their own reservations,
which should be done prior to September 21, 1992.
REGISTRATION and ATTENDANCE
Attendance at the Workshop will be limited to 50 participants
(including the speakers). Prospective attendees should fill out the
form below and return it by September 21, 1992 via post, email or
facsimile to Dr. Allen L. Brown, Jr. at the relevant destination given
above for the submission of abstracts.
----------------------------------------------------------------
REGISTRATION FOR FIRST INTERNATIONAL WORKSHOP ON
THE PRINCIPLES OF DOCUMENT PROCESSING
Name:
Title:
Affiliation:
Address:
Email address:
Telephone:
Paper title (if you submitted or intend to submit):
----------------------------------------------------------------
|
