17th International Conf. on Logic Programming: Call for Participation

Dr. Gopal Gupta <>
Wed Oct 3 17:46:20 CEST 2001




		          Nov 26 - Dec. 1


The 17th international conference on logic programming will be held in the beautiful
sea resort of Paphos in Cyprus.  The  conference  will be co-located with Constraint
Programming 2001 (CP'01).  The  conference  program includes invited talks by Robert 
Kowalski, Alain Colmerauer, & Patrick Cousot, and tutorials on  various contemporary 
topics.   A  number of  post-conference workshops are also part of the program.  The 
program also includes excursions to sites around Paphos. Hotel rooms near the  conf-
erence site at greatly reduced rates are still available.
More information can be obtained from the ICLP'01 website:


C O N F E R E N C E    P R O G R A M 


08.45 Opening

09.00 Invited talk

      Is Logic Really Dead, or Only Just Sleeping ?
      Robert A. Kowalski (Imperial College,  London)

10.30 Coffee

11.15 Implementation and Parallelism

      Understanding Memory Management in Prolog Systems
      Luís Fernando Castro, and Vítor Santos Costa

      PALS: A Distributed Or-Parallel Implementation of Prolog on 
		a Beowulf Architecture
      K. Villaverde, E. Pontelli, H. Guo, and Gopal Gupta

      On a Tabling Engine that can Exploit Or-Parallelism
      Ricardo Rocha, Fernando Silva, and Vítor Santos Costa

12.45 Lunch

14.30 Constraints

      Revisiting the cardinality Operator and Introducing the 
      cardinality-path Constraint Family
      Nicolas Beldiceanu and Mats Carlsson

      Optimizing Compilation of Constraint Handling Rules
      Christian Holzbaur, Peter J. Stuckey, Maria Garcia de la Banda, 
      and David Jeffrey

      Building Constraint Solvers with HAL
      Maria Garcia de la Banda, David Jeffery, Kim Marriott , Peter J.
      Stuckey, and Christian Holzbaur

16.00 Coffee

16.45 Tutorial

      Building real-life applications with Prolog
      Jan Wielemaker (University of Amsterdam, The Netherlands)

19.00 Welcome Reception/Dinner (at the Hotel)


09.00 Static Analysis

      Practical Aspects for a working Compile Time Garbage Collection 
      System for Mercury
      Nancy Mazur, Peter Ross, Gerda Janssens, and Maurice Bruynooghe

      Positive Boolean Functions as Multiheaded Clauses
      Jacob M. Howe and Andy King

      Higher-Precision Groundness Analysis
      Michael Codish, Samir Genaim, Harald Sondergaard, and Peter J. Stuckey

10.30 Excursion to Paphos Mosaics & St Paul's Pillar 

13.00 Lunch

14.30 Invited Talk

      Patrick Cousot (Ecole Normale Superieure, Paris, France)
      Title to be Announced

16.00 Coffee

16.45 Tutorial

      A Close Look at Constraint-Based Concurrency
      Kazunori Ueda (Waseda University, Tokyo, Japan)

18.30 Prolog Programming Competition


09.00 Tabulation Techniques

      Speculative Beats Conservative Justification
      Hai-Feng Guo, C.R. Ramakrishnan, and I.V. Ramakrishnan

      Local and Symbolic Bisimulation using Tabled Constraint 
      Logic Programming
      Samik Basu, Madhavan Mukund, C.R. Ramakrishnan, I.V. Ramakrishnan, 
      and Rakesh Verma

      A Simple Scheme for Implementing Tabled Logic Programming 
      Systems based on Dynamic Reordering of Alternatives
      Hai-Feng Guo and Gopal Gupta

10.30 Coffee

11.00 Tutorial

      Natural Language Tabular Parsing
      Éric Villemonte de la Clergerie (INRIA - Rocquencourt, France)

12.30 Lunch

13.45 Excursion: 	
		Aphrodite's Trail
		Performance by the Cyprus Orchestra of Ancient Greek Musical Organs
		Light Dinner


09.00 Non Monotonic Reasoning 1

      Fixed-parameter complexity of semantics for logic programs
      Zbigniew Lonc and Miroslaw Truszczynski

      Well-founded and stable semantics for logic programs with aggregates
      Marc Denecker, Nikolay Pelov, and Maurice Bruynooghe

      Alternating Fixed Points in Boolean Equation Systems as 
      Preferred Stable Models
      K. Narayan Kumar, C.R. Ramakrishnan, and Scott A. Smolka

10.30 Coffee

11.15 Tutorial

      Probabilistic reasoning in databases and logic programs
      V.S. Subrahmanian (University of Maryland, USA)

12.45 Lunch

14.30 Invited Talk

      X-tegration - some cross-enterprise thoughts
      Ashish Gupta (Chief Scientific Officer, Tavant Technologies)

16.00 Coffee

16.30 Non-monotonic Reasoning  2

      Fages' Theorem for Programs with Nested Expressions
      Esra Erdem and Vladimir Lifschitz

      Semantics of normal logic programs with embedded implications
      Fernando Orejas, Elvira Pino, and Edelmira Pasarella

      A Multi-Adjoint Logic Approach to Abductive Reasoning
      Jesus Medina, Manuel Ojeda-Aciego, and  Peter Vojtas

18.30 Conference Dinner at the wine village of Polemi (Cypriot Night)


09.00 Extensions

      Proving correctness and completeness of normal 
      programs - a declarative approach.
      Wlodzimierz Drabent and Miroslawa Milkowska

      An Order-sorted Resolution with Implicitly Negative Sorts
      Ken Kaneiwa and Satoshi Tojo

      Logic Programming in a Fragment of Intutionistic Temporal Linear Logic
      Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, and Noyuki Tamura

10.30 Coffee

11.15 Databases

      A Logic Programming Approach to the Integration, Repairing and Querying
      of Inconsistent Databases
      G. Greco, S. Greco and E. Zumpano

      A Computational Model for Functional Logic Deductive Databases
      Jesus Manuel Almendros Jimenez, Antonio Becerra Teron and
      Jaime Sanchez Hernandez

12.45 Lunch

14.00 Invited Talk

      Alain Colmerauer (University of Marseille, France)
      Solving the mutiplication constraint in several approximation spaces

15.30 Coffee

17.30 Joint CP & ICLP Panel
	"The future of LP and CP Systems"

SATURDAY (1st of December)

9.00  Workshops till 19.00.

	CICLOPS: Colloquium on Implementation of Constraints and
		 Logic Programming Systems
	CLIMA: 2nd Workshop on Computational Logic in Multi-agent 
	CLPSE: (Constraint) Logic Programming and Software Engg.

	CRGD: Complex Reasoning on Geographical Data

        RCoRP'01: 3rd Workshop on Rule-based Constraint Reasoning and
 	SAVE'01: Specificatin, Analysis, and Validation for Emerging
		Technologies in Computational Logic


	Excursions to the Akamas Nature Reserve 
	(Optional - Not included in the Registration Fee)


More information about the erlang-questions mailing list