ICLP'01 Nov 26 - Dec 1, 2001 Paphos, Cyprus |
Theory | Implementation |
Semantic Foundations | Compilation |
Formalisms | Memory Management |
Non-monotonic Reasoning | Virtual Machines |
Knowledge Representation | Parallelism |
Language Issues | Environments |
Constraints | Program Analysis |
Concurrency | Program Transformation |
Objects | Validation and Verification |
Coordination | Debugging |
Mobilility | |
Higher Order | Applications |
Types | |
Modes | Deductive Databases |
Programming Techniques | Software Engineering |
Natural Language | |
Web Tools | |
Internet Agents | |
Artificial Intelligence |
Specific attention will be given to work providing novel integrations over these different areas, and to new applications of logic programming in general.
The technical program will include several invited talks and advanced
tutorials in addition to the presentations of the accepted papers. The
proceedings of the conference will be published by Springer Verlag. The
conference is sponsored by the Association for Logic Programming. Members of the
Association for Logic Programming will receive a registration discount
and the ALP has some funds to assist financially disadvantaged
participants.
Papers should clearly express the contribution of the paper, both in general and in technical terms. It is essential to identify what was accomplished, describe its significance, and explain how the paper compares with and advances previous work. Authors should make every effort to make the technical content understandable to a broad audience.
The primary means of submission will be electronic, in Postscript format. If
electronic submission is not possible, 5 hard copies should be sent to the
program chair at the postal address given below. Regardless of the submission
method, a letter or e-mail message accompanying the paper must contain a plain
text abstract of about 200 words and the names, e-mail addresses if possible,
and postal addresses of all authors.
Program Chair
Philippe Codognet |
Conference Chair
Antonis Kakas | |
Workshop Chair
Antonio Brogi |
||
Program Committee | ||
Krzysztof Apt, CWI Frederic Benhamou, University of Nantes Veronica Dahl, Simon Fraser University Bart Demoen, University of Leuven Danny De Schreye, University of Leuven J?rgen Dix, University of Koblenz Gilberto Fil?, University of Padova Seif Haridi, SICS Manuel Hermenegildo, Technical University of Madrid Pat Hill, University of Leeds Gerard Huet, INRIA Antonis Kakas, University of Cyprus Michael Maher, Loyola University Chicago Kim Marriott, Monash University Catuscia Palamidessi, Pennsylvania State University Luis Moniz Pereira, New University of Lisbon Andreas Podelski, Microsoft Research V.S. Subrahmanian, University of Maryland Kazunori Ueda, Waseda University Pascal Van Hentenryck, Brown University Toby Walsh, University of York |