Invited Talks

• Robert A. Kowalski (Imperial College, London)
  Is Logic Really Dead, or Only Just Sleeping ?
   
• Patrick Cousot (Ecole Normale Superieure, Paris, France)
   
• Ashish Gupta (Chief Scientific Officer, Tavant Technologies)
  X-tegration - some cross-enterprise thoughts
   
• Alain Colmerauer (University of Marseille, France)
  Solving the mutiplication constraint in several approximation spaces
   

Tutorials

• Jan Wielemaker (University of Amsterdam, The Netherlands)
  Building real-life applications with Prolog
   
• Kazunori Ueda (Waseda University, Tokyo, Japan)
  A Close Look at Constraint-Based Concurrency
   
• Éric Villemonte de la Clergerie (INRIA - Rocquencourt, France)
  Natural Language Tabular Parsing
   
• V.S. Subrahmanian (University of Maryland, USA)
  Probabilistic reasoning in databases and logic programs