------- 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@muldi.cs.mu.oz.au> From: Peter Stuckey <pjs@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@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 ------- End of Blind-Carbon-Copy