[Prev][Next][Index][Thread]
Call for papers: ICLP'02 (Intl Conf on Logic Programming)
CALL FOR PAPERS
ICLP'02
Eighteenth International Conference on Logic Programming
Copenhagen, Denmark
July 29th - August 1, 2002
http://floc02.diku.dk/ICLP/
ICLP'02, the Eighteenth International Conference on Logic
Programming will be be held this year as part of the 2002
Federated Logic Conference (http://floc02.diku.dk/)
in conjunction with CADE, CAV, FME, LICS, RTA and TABLEAUX.
ICLP'02 is sponsored by IF/Prolog (http://www.ifcomputer.de).
TOPICS
Since the first ICLP, held in Marseilles in 1982, ICLP has been
the premier international conference for presenting research
into logic programming. Original papers are sought in all areas
of logic 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
Mobilility
Higher Order Applications
Types
Modes Deductive Databases
Programming Techniques Software Engineering
Natural Language
Web tools
Internet Agents
Artificial Intelligence
Papers describing innovative applications of logic programming (in the
broadest sense, e.g. including constraint programming, non-monotonic
systems, etc.) are particularly sought. We welcome submission in, but
not limited to, the following topics: surveys of an application area,
problems to which logic programming may be applied, experience in
applying logic programming, software engineering aspects of logic
programming and areas where further research is required to meet
industrial needs. There will be an award for the best application paper
sponsored by IF/Prolog.
SUBMISSION
Papers must describe original, previously unpublished work, 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. The proceedings will be published by Springer Verlag in
the Lecture Notes in Computer Science series. Authors are strongly
encouraged to use LaTeX2e and the Springer llncs class file, available
at
http://www.springer.de/comp/lncs/authors.html
Submission is Web-based. In order to submit a paper, authors should
upload it via the web at
http://www.cs.mu.oz.au/~pjs/ICLP2002/
where more detailed instructions are given. If submission through the
Web is not possible, five hard copies may be sent to the program
chair. Authors intending to submit a paper are requested to submit an
abstract of their paper, through the same web interface, before
February 10, to help expedite the paper assignment process.
Submission Agenda:
Submission of abstracts: February 10, 2002
Submission of papers: February 17, 2002
Notification of acceptance: April 14, 2002
Camera-ready papers due: May 14, 2002
Workshops:
The following workshops will be held in conjunction with ICLP'02.
August 1: CLIMA - Computational Logic In Multi-Agent Systems
July 28: CLPSE - (Constraint) Logic Programming and Software Engineering
July 31: LPE - Workshop on Logic Programming Environments
July 27-28: NLULP - Natural Language Understanding and Logic Programming
July 27: PCL - Paraconsistent Computational Logic
July 27: SAVE - Specification, Analysis and Validation for Emerging Technologies in Computational Logic
July 28: UNKB - Updating Non-Monotonic Knowledge Bases
Conference Location:
The conference will be held at the University of Copenhagen.
Program Chair: Conference Chair:
Peter J. Stuckey Henning Christiansen
Department of Computer Science Department of Computer Science
and Software Engineering Roskilde University
University of Melbourne PO Box 260
3010, AUSTRALIA DK-4000 Roskilde, DENMARK
Email: pjs@cs.mu.oz.au Email: henning@ruc.dk
Tel: +613-8344-9155 Tel: +45 46 74 38 32
Fax: +613-9348-1184
Programme Committee:
Jose Alferes, Universidade Nova de Lisboa
Francisco Bueno, Universidad Polytecnica de Madrid
Henning Christiansen, Roskilde University
Sandro Etalle, University of Twente
Francois Fages, INRIA
Maurizio Gabbrielli, University of Bologna
Maria Garcia de la Banda, Monash University
Michael Gelfond, Texas Tech University
Gopal Gupta, UT Dallas
Katsumi Inoue, Kobe University
Joxan Jaffar, National University of Singapore
Gerda Janssens, K.U.Leuven
Bharat Jayaraman, State University of New York at Buffalo
Michael Leuschel, University of Southampton
Michael Maher, Loyola University Chicago
Dale Miller, The Pennsylvania State University
Ulf Nilsson, Linkoping University
Francesca Rossi, Universita' di Padova
Konstantinos Sagonas, Uppsala University
Christian Schulte, Universitat des Saarlandes
Harald Sondergaard, University of Melbourne
Francesca Toni, Imperial College London
Miroslaw Truszczynski, University of Kentucky
Pascal Van Hentenryck, Brown University
David S. Warren, State University of New York at Stony Brook