ICLP02 Call for Participation

Mon, 22 Apr 2002 10:32:18 +1000

------- 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