saraswat@parc.xerox.COM (Vijay Saraswat) (01/04/91)
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