saraswat@roo.uucp (Vijay Saraswat) (12/21/90)
ILPS91 --- Call For Papers
1991 INTERNATIONAL LOGIC PROGRAMMING SYMPOSIUM *
(* Formerly called ``North American Conference
on Logic Programming'' (NACLP))
San Diego, California, U.S.A., October 28--31, 1991
Sponsored by the Association for Logic Programming.
In cooperation with ACM (SIGACT, SIGPLAN, SIGART, SIGMOD),
IEEE Computer Society, AAAI and ESPRIT (pending).
Arising from logic programming, exciting new areas of intellectual
inquiry are emerging in the interaction of concurrency, logic,
constraints, algorithms, and parallel processing. To foster the
development of such areas, a major goal of this conference is to promote
technical interaction between logic programming and neighboring fields
including artificial intelligence, logic, databases and theoretical
computer science.
Papers are invited on all aspects of logic programming and its
connections with neighboring fields. Both theoretical and practical
papers are solicited. Topics of interest include (but are not limited
to):
- Foundations --- Semantics / Proof theory / Concurrency / Constraints
and partial information / Knowledge representation and reasoning /
Non-monotonic reasoning / Computational interpretation of various
logics / Constructive logics (proofs-as-program principle) /
Higher-order logics / Situation semantics
- Languages and Programming --- [Concurrent] [Constraint] Logic
programming languages / Extensions to logic programming / Language
design and constructs / Constraint-satisfaction techniques and
algorithms / Programming environments / Meta-programming and
reflection
- Implementation --- Compilation techniques / Architectures /
Parallelism / Performance evaluation
- Reasoning About Programs --- Program analysis and abstract
interpretation / Program synthesis / Program transformation /
Verification / Reasoning about safety and liveness properties
- Applications --- Natural languages / Design, Diagnosis and Testing /
Planning / Software engineering
- Logic Databases ---
Disjunctive databases / Finite model theory / Logical updates /
Logics of objects / Datalog optimization
Papers must be written in English and must not exceed 5000 words in
length, including a 200 word abstract and excluding references. (This
translates to approximately ten pages in 10 point on 16 point spacing.)
Papers that exceed this limit are likely to be returned without being
refereed. Submit six copies by MARCH 15, 1991 to:
Vijay Saraswat, Xerox PARC
3333 Coyote Hill Road, Palo Alto, CA 94304, USA.
E-mail: ilps91@parc.xerox.com
Phone: +1.415.494.4747 Fax: +1.415.494.4334
Authors will be notified of acceptance or rejection by JUNE 15,
1991. Final versions of accepted papers must be received by the MIT
Press in camera-ready form by July 19, 1991.
The conference will have one poster session on applications and will
be followed by several post-conference workshops, which will be
announced separately.
INVITED SPEAKERS
Robert Constable, Cornell U., USA
Koichi Furukawa, ICOT, Japan
Vladimir Lifschitz, Stanford U., USA
Johan van Benthem, U. of Amsterdam, The Netherlands
PROGRAM COMMITTEE
Hassan Ait-Kaci, DEC PRL, France
Catriel Beeri, Hebrew U., Israel
Mats Carlsson, SICS, Sweden
Johan de Kleer, Xerox PARC, USA
Atsuhiro Goto, NTT, Japan
Ken Kahn, Xerox PARC, USA
Deepak Kapur, SUNY (Albany), USA
Michael Kifer, SUNY (Stony Brook), USA
Alan Mackworth, U. British Columbia, Canada
Michael Maher, IBM Hawthorne, USA
Ugo Montanari, U. Pisa, Italy
Gopalan Nadathur, Duke U., USA
Shamim Naqvi, Bellcore, USA
Stanley Peters, CSLI, USA
David Plaisted, U. North Carolina, USA
Gordon Plotkin, U. Edinburgh, UK
Teodor Pryzmusinski, U. Texas (El Paso), USA
Harald Sondergaard, U. Melbourne, Australia
Evan Tick, U. Oregon, USA
Allen van Gelder, U. California (Santa Cruz), USA
Pascal van Hentenryck, Brown U., USA
David H.D. Warren, U. Bristol, UK
PROGRAM COMMITTEE CHAIRS
Vijay Saraswat, Xerox PARC, USA
Kazunori Ueda, ICOT, Japan
CONFERENCE CHAIR
Ken Kahn, Xerox PARC
3333 Coyote Hill Road, Palo Alto, CA 94304, USA
E-mail: ilps91@parc.xerox.com
Phone: +1.415.494.4390 Fax: +1.415.494.4334
LOCAL ARRANGEMENTS CHAIR
Steve Taylor, CalTech, USA
E-Mail: steve@vlsi.caltech.edu
WORKSHOP COORDINATOR
Kim Marriott, IBM Hawthorne, USA
E-mail: kimbal@ibm.com
POSTER SESSION CHAIR
Leon Sterling, Case Western Reserve U., USA
E-mail: leon@alpha.ces.cwru.edu