| ICLP 2002 | | International Conference on
Logic Programming |
The international conference on logic programming (ICLP) has been the premier conference for presenting research in logic programming since it was first held in Marseilles in 1982. The conference scope is the broadest possible interpretation of logic programming: theory, implementations and architectures, environments and language extensions, as well as applications such as natural language processing, knowledge representation, nonmonotonic reasoning, databases, and constraint programming. Some prominent topics in recent years include: the integration of logic and constraint programming, applications of logic programming in software engineering, and the component-based and Internet-based development.
ICLP is sponsored by 
IF Computer GmbH.
- ICLP 2002 Call for Papers
- ICLP-affiliated workshops
- ICLP accepted papers
- ICLP program
- ICLP canal tour excursion
- Participant list for ICLP
- The 2002 Prolog Programming Competition
Proceedings online
Users with Springer subscriptions can find all ICLP papers online at http://link.springer.de/link/service/series/0558/tocs/t2401.htm.Travel grants
A limited amount of travel grants for students or others who are in serious need are available from the Association for Logic Programming. Please contact the Conference Coordinator of ALP Gopal Gupta <gupta@utdallas.edu> for details regarding how to apply.
Banquet speaker
- Veronica Dahl, Simon Fraser U, Canada
Invited speakers
- Bernard
Boigelot and Pierre Wolper, U Liege, Belgium
Representing arithmetic constraints with finite automata: An overview - Stefan
Decker, Stanford U, USA
Logic databases on the semantic web: Challenges and opportunities
Invited tutorials
- Thom
Frühwirth, U Munich, Germany
Constraint handling rules - Abhik
Roychoudhury, National U of Singapore and I. V. Ramakrishnan, State U of New
York-Stony Brook, USA
Program transformations for automated verification - Miroslaw Truszczynski, U Kentucky,
USA
Answer set programming - David S. Warren, State U of New
York-Stony Brook, USA
Tabled logic programming
Program Committee
- chair:
Peter Stuckey <pjs@cs.mu.oz.au>
Department of Computer Science and Software Engineering
The University of Melbourne
Victoria 3010, AUSTRALIA
+613-8344-9155
+613-9348-1184 (fax) - José Júlio Alferes, New U of Lisbon, Portugal
- Francisco Bueno, Techn. U of Madrid, Spain
- Henning Christiansen, U Roskilde, Denmark
- Sandro Etalle, U Twente, The Netherlands
- François Fages, INRIA Rocquencourt, France
- Maurizio Gabbrielli, U Bologna, Italy
- María García de la Banda, Monash U, Australia
- Michael Gelfond, Texas Tech U, USA
- Gopal Gupta, U Texas-Dallas, USA
- Katsumi Inoue, Kobe U, Japan
- Joxan Jaffar, National U of Singapore
- Gerda Janssens, K.U. Leuven, Belgium
- Bharat Jayaraman, State U of New York-Buffalo, USA
- Michael Leuschel, U Southampton, UK
- Michael Maher, Loyola U Chicago, USA
- Dale Miller, Penn State U, USA
- Ulf Nilsson, Linköping U, Sweden
- Francesca Rossi, U Padova, Italy
- Kostis Sagonas, Uppsala U, Sweden
- Christian Schulte, Saarland U, Germany
- Harald Søndergaard, U Melbourne, Australia
- Francesca Toni, Imperial College, UK
- Miroslaw Truszczynski, U Kentucky, USA
- Pascal Van Hentenryck, Brown U, USA
- David S. Warren, State U of New York-Stony Brook, USA
Conference Chair
Henning Christiansen <henning@ruc.dk>, U Roskilde, Denmark
Workshop Coordinator
Henning Christiansen <henning@ruc.dk>
Roskilde
University
Computer
Science Dept.
PO
Box 260
DK-4000
Roskilde, DENMARK
+45
46 74 38 32