PLEASE ACCEPT MY APOLOGIES IF YOU RECEIVE THIS MESSASE MORE THAN ONCE. --------------------------------------------------------------------------- CALL FOR PAPERS Twentieth International Conference on Logic Programming ICLP'04 6-10 September, 2004 Saint-Malo, France URL: http://www.irisa.fr/ICLP04 --------------------------------------------------------------------------- Conference scope ---------------- Since the first conference held in Marseille in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (papers and posters) are sought in all areas of logic programming including but not restricted to: Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning Knowledge Representation Implementation: Compilation, Memory Management, Virtual Machines, Parallelism Environments: Program Analysis, Program Transformation, Validation and Verification Debugging, Profiling Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes Programming Techniques Alternative Paradigms: Constraint Logic Programming, Abductive Logic Programming, Inductive Logic Programming, Answer Set Programming Applications: Deductive Databases, Software Engineering, Natural Language, Web Tools Internet Agents, Artificial Intelligence Specific attention will be given to work providing novel integrations of these different areas, and to new applications of logic programming in general. Contributions on applications will be assessed with an emphasis on their impact and synergy with other areas, as opposed to technical maturity. The technical program will include several invited talks and advanced tutorials, in addition to the presentations of the accepted papers and posters. We also plan to have several workshops in parallel with the conference (see call for workshop proposals on the Conference web pages). Papers ------- Papers must describe original, previously unpublished research, and must not be simultaneously submitted for publication elsewhere. They must be written in English and not exceed 15 pages in Springer LNCS format. The authors are encouraged, although not obliged, to submit their papers already in Springer LNCS format. General information about the Springer LNCS series and the LNCS authors' instructions are available at the Springer LNCS/LNAI home page (http://www.springer.de/comp/lncs/index.html). Papers should express their contribution clearly, both in general and 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, five hard copies should be sent to one of the program co-chairs. More information on the submission procedure will be available at http://www.cs.utexas.edu/users/ICLP04 Posters ------- Posters provide a forum for presenting work in an informal and interactive setting. They are ideal for discussing current work not yet ready for publication, for PhD thesis summaries and research project overviews. Posters must be submitted electronically. More information on the submission procedure will be available at http://www.cs.kuleuven.ac.be/conference/iclp04_posters. Publication ----------- Negotiation is under way to have the proceedings of the conference published by Springer-Verlag in the LNCS series. The proceedings will include the accepted papers and the abstracts of accepted posters. Sponsoring and prizes --------------------- The conference is sponsored by the Association for Logic Programming. The ALP has funds to assist financially disadvantaged participants. The ALP is planning to sponsor two prizes for ICLP'04: for the best technical paper and for the best application paper. Important dates --------------- PAPERS POSTERS Abstract submission deadline: 19 February Submission deadline: 23 February 10 April Notification of authors: 19 April 10 May Camera-ready copy due: 31 May 31 May Conference venue ---------------- ICLP'04 will be held at the "Palais du Grand Large" at Saint-Malo in Brittany, France. Saint-Malo is a historical pirate town located on the north coast of Brittany, close to Mont Saint-Michel and to Rennes. Saint-Malo is often compared to a great vessel preparing to set out to sea, always searching renewal and adventures. Every street corner, every shore recalls the city's legendary past, along the innumerable walks and seafront promenades. The conference will feature an excursion to Mont Saint-Michel, one of France's best-known attractions. Surrounded by the most powerful tides in Europe, perched high on a rocky island, this medieval city and its abbey are a UNESCO World Cultural and Natural Heritage Site. Organization ------------ Conference Chair: Mireille Ducasse (INSA Rennes, France) Program Co-Chairs: Bart Demoen (Catholic University Leuven, Belgium) Vladimir Lifschitz (University of Texas, USA) Workshop Chair: Fausto Spoto (Universita di Verona, Italy) Publicity Chair: Arnaud Gotlieb (IRISA Rennes, France) Program Committee: Chitta Baral Arizona State University, USA Piero Bonatti Universita di Napoli, Italy Gerhard Brewka Leipzig University, Germany Michael Codish Ben-Gurion University, Israel Veronica Dahl Simon Fraser University, Canada Bart Demoen Catholic University Leuven, Belgium Juergen Dix University of Manchester, UK Mireille Ducasse INSA Rennes, France Francois Fages INRIA Rocquencourt, France John Gallagher Roskilde University, Denmark Gopal Gupta University of Texas, USA Manuel Hermenegildo Universidad Politecnica de Madrid, Spain Antonis Kakas University of Cyprus, Cyprus Andy King University of Kent, UK Evelina Lamma University of Ferrara, Italy Vladimir Lifschitz University of Texas, USA Fangzhen Lin University of Science and Technology, Hong Kong Naomi Lindenstrauss Hebrew University, Israel Michael Maher Loyola University, USA Dale Miller INRIA Futurs, France Stephen Muggleton Imperial College, UK Ilkka Niemela Helsinki University of Technology, Finland Andreas Podelski Max Planck Institute, Germany Kostis Sagonas Uppsala University, Sweden Chiaki Sakama Wakayama University, Japan Vitor Santos Costa Universidade Federal do Rio de Janeiro, Brasil Zoltan Somogyi University of Melbourne, Australia Peter Stuckey University of Melbourne, Australia Paul Tarau University of North Texas, USA Contact addresses ----------------- General chair: [log in to unmask] Mireille Ducasse IRISA Campus de Beaulieu, F-35042 Rennes Cedex, France Program co-chairs: [log in to unmask] Bart Demoen Vladimir Lifschitz Department of Computer Science Department of Computer Sciences Celestijnenlaan 200A The University of Texas at Austin 3001 Leuven 1 University Station C0500 Belgium Austin, TX 78712-0233 USA