------- Blind-Carbon-Copy X-Mailer: exmh version 2.5 10/15/1999 with version: MH 6.8.4 #1[UCI] To: pjs Subject: ICLP02 Call for Participation Reply-to: pjs@cs.mu.oz.au Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Date: Mon, 22 Apr 2002 10:32:18 +1000 Message-ID: <10795.1019435538@muldi.cs.mu.oz.au> From: Peter Stuckey <pjs@muldi.cs.mu.oz.au> Apologies for Receiving Multiple Copies of this Message - ---------------------------------------------------------- CALL FOR PARTICIPATION 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 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) Invited Tutorials include: Constraint handling rules Thom Fruehwirth and Slim Abdennadher (LMU Munich) Program transformations for automated verification I.V. Ramakrishnan and Abhik Roychoudhury (SUNY-Stony Brook and NU= S) Answer set programming Mirek Truszczynski (Kentucky) Tabled logic programming David S. Warren, (SUNY-Stony Brook) Workshops: http://floc02.diku.dk/ICLP/wkstut.html The following workshops will be held in conjunction with ICLP'02. July 27: PCL - Paraconsistent Computational Logic Submission: April 30, 2002 July 27: SAVE - Specification, Analysis and Validation for Emerging = Technologies in Computational Logic Submission: April 27, 2002 July 27-28: NLULP - Natural Language Understanding and Logic Programming Submission: March 10, 2002 July 28: CLPSE - (Constraint) Logic Programming and Software Engineering Submission: May 31, 2002 July 31: CICLOPS - Colloquium on Implementation of Constraint and = LOgic Programming Systems Submission: April 30, 2002 July 31: WLPE - Workshop on Logic Programming Environments Submission: May 6, 2002 August 1: CLIMA - Computational Logic In Multi-Agent Systems Submission: April 30, 2002 Conference Location: The conference will be held at the University of Copenhagen. = Early registration is by June 15, 2002. See information about registration and hotels at http://floc02.diku.dk/ICLP/ 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 = ACCEPTED PAPERS =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Reasoning with infinite stable models II: Disjunctive programs P.A. Bonatti A proof-theoretic foundation for tabled higher-order logic programming Brigitte Pientka Computing stable models: worst-case performance estimates Zbigniew Lonc and Miroslaw Truszczynski A rewriting method for Well-Founded Semantics with Explicit Negation Pedro Cabalar Trailing Analysis for HAL Tom Schrijvers, Maria Garcia de la Banda, Bart Demoen On Enabling the WAM with Region Support Henning Makholm and Kostis Sagonas Disjunctive Explanations Katsumi Inoue, Chiaki Sakama Efficient Real-Time Model Checking using Tabled Logic = Programming and Constraints Giridhar Pemmasani C.R. Ramakrishnan I.V. Ramakrishnan An Abductive Approach for Analysing Event-Based Requirements Specificatio= ns Alessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer Embedding Defeasible Logic into Extended Logic Programs Grigoris Antoniou and Michael J. Maher A different look at garbage collection for the WAM Bart Demoen Reasoning about actions with CHRs and Finite Domain Constraints Michael Thielscher Propagation Completeness of Reactive Constraints Michael J. Maher Using hybrid concurrent constraint programming to model dynamic = biological systems Alexander Bockmayr and Arnaud Courtois A Polynomial Translation of Logic Programs with Nested Expressions = into Disjunctive Logic Programs: Preliminary Report David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Wol= tran Logical Algorithms Harald Ganzinger and David McAllester A Model Theoretic Semantics for MLS Deductive Databases Hasan M. Jamil and Gillian Dobbie Proving the Equivalence of CLP Programs Sorin Craciunescu Access Control for Deductive Databases by Logic Programming Steve Barker A Purely Logical Account of Sequentiality in Proof Search Paola Bruscoli Logical Loops Joachim Schimpf Copying garbage collection for the WAM: to mark or not to mark ? Bart Demoen, Phuong-Lan Nguyen, Ruben Vandeginste Towards Local Search for Answer Sets Yannis Dimopoulos Andreas Sideris Tabulation for Stratified CLP and Infinite-State Model Checking for = Safe Branching Time Logic Witold Charatonik, Supratik Mukhopadhyay, and Andreas Podelski Learning in Logic with RichProlog Eric Martin, Phuong Nguyen, Arun Sharma, and Frank Stephan Using Logic Programming to Detect Activities in Pervasive Healthcare Henrik B=E6rbak Christensen Logic for Software Engineering: A Second Chance Kung-Kiu Lau, Michel Vanden Bossche A Logic-based System for Application Integration Tamas Benko, Peter Krauth, Peter Szeredi Towards a Declarative Query and Transformation Language for XML and = Semistructured Data: Simulation Unification Fran=E7ois Bry and Sebastian Schaffert ------- End of Blind-Carbon-Copy