[mercury-users] ICLP-2001 - Call for Papers

[Antonis Kakas]

-------------- next part --------------

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

                     CALL FOR PAPERS
                         ICLP'01
Seventeenth International Conference on Logic Programming

                  Paphos, Cyprus
                  November 26 - December 1, 2001

                  http://www.cs.ucy.ac.cy/iclp2001

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 http://www.cs.ucy.ac.cy/cp2001. 

Joint events, as well as the possibility of reduced joint 
registration are planned. 

                       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


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

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. Details on the procedure and alternatives can be found at
the ICLP'01 web site. 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. 

Submission Agenda:

   Submission of abstracts:    May 4,  2001
   Submission of papers:       May 11, 2001
   Notification of acceptance: July 6, 2001
   Camera-ready papers due:    August 1, 2001


Workshops and Tutorials:

A separate announcement about workshops and tutorials will be made.

Conference Location:

The conference will be held in the 5 star Coral Beach Hotel and Resort
(http://www.coral.com.cy/) in an idyllic beachfront setting near to the
town 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:                         Conference Chair:

Philippe Codognet                      Antonis Kakas
Department of Computer Science         Department of Computer Science
University of Paris 6                  University of Cyprus
LIP6, case 169                         75 Kallipoleos Str., P.O. Box 537
8 rue du Capitaine Scott               CY-1678 Nicosia
75015 Paris, France                    Cyprus
Email: Philippe.Codognet at lip6.fr       Email: antonis at ucy.ac.cy
Tel: +33-1-44278801                    Tel:+357-2-892230/1
Fax: +33-1-44277000                    Fax:+357-2-339062
                                       Office: Green Park 3rd floor, H308

Programme 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