[om-a] ICLP02 FINAL CALL FOR PAPERS

Mon Feb 11 01:32:42 CET 2002

------- Blind-Carbon-Copy

X-Mailer: exmh version 2.5 10/15/1999 with version: MH 6.8.4 #1[UCI]
To: pjs
Subject: ICLP02 FINAL CALL FOR PAPERS
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Mon, 11 Feb 2002 11:32:42 +1100
Message-ID: <26117.1013387562 at muldi.cs.mu.oz.au>
From: Peter Stuckey <pjs at muldi.cs.mu.oz.au>

Apologies for Receiving Multiple Copies of this Message
- ----------------------------------------------------------

                  FINAL 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).

Invited Speakers include:
	Pierre Wolper (Universite de Liege)
	Stefan Decker (Stanford)

                       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.  

Submission Agenda:

   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 at cs.mu.oz.au                 Email: henning at 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

------- End of Blind-Carbon-Copy
--
om-announce at openmath.org  -  public announcements concerning OpenMath
Post discussion to om at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-announce-owner at openmath.org for assistance with any problems