Seventeenth International Conference on  Logic Programming

Nov 26 - Dec 1, 2001

Coral Beach Hotel and Resort

Paphos, Cyprus

Click here for the official CP & ICLP'01 Registration Webpage

Important Dates

May 4, 2001
  Submission deadline for abstracts.
May 11, 2001
  Submission deadline for papers
July 6, 2001
  Notification of acceptance of papers.
August 1, 2001
Camera-ready copy due.
Nov 26-Dec 1, 2001
  ICLP'01 conference

Conference Scope

Since the first conference held in Marseilles in 1982,ICLP has been the premier international conference for presenting research into logic programming. ICLP'01, the seventeenth International Conference on Logic Programming will be be held this year in conjuction with CP-2001,  the 7th International  Conference on Principle and Practice of  Constraint Programming. Joint events, as well as the possibility  of reduced joint registration are planned.

Technical Programme

Original papers are sought in all areas oflogic programming including (but not restricted to) :
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
Higher Order Applications
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.

Submission details

Papers must describe original, previously unpublished research, be written and presented in English, not exceed 15 pages (A4 or letter format, up to 5,000 words), and not be simultaneously submitted for publication elsewhere.

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.

Workshops and Tutorials

Workshop proposals can be submitted to the workshop coordinator, Antonio Brogi, by April 20, 2001. For details please visit the call for workshop proposals.


Conference Site

The conference will be held in the 5 star Coral Beach Hotel and Resort in an idyllic beachfront setting near to thetown of Paphos. Paphos is included in the official UNESCO list of cultural and natural treasures of world heritage, and is described as"..Home To Aphrodite, Adonis, Dionysus, and Lucky Mortals". 


Program Chair

Philippe Codognet 
Department of Computer Science 
University of Paris 6
LIP6, case 169 
8 rue du Capitaine Scott 
75015 Paris, France 
Tel: +33-1-44278801
Fax: +33-1-44277000

Conference Chair

Antonis Kakas
Department of Computer Science
University of Cyprus
75 Kallipoleos Str., P.O. Box 537
CY-1678 Nicosia
Office: Green Park 3rd floor, H308 

Workshop Chair

Antonio Brogi
Department of Computer Science
University of Pisa
Corso Italia 40
56125 Pisa. Italy

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