ICLP 2006

22th International Conference on Logic Programming

Seattle, Aug 17-20, 2006

Co-located with FLOC 2006


The program included two invited speakers:

  • Monica Lam (Stanford University): Why Use Datalog to Analyze Programs?
  • Christopher A. Welty (IBM Watson Research Center): Semantic Web: The story of the RIFt so far

and the tutorial

  • Brigitte Pientka (McGill University): Overcoming performance barriers: efficient verification techniques for logical frameworks

Complete list of regular contributions is available from the DBLP Database


  • General Chair: Manuel Hermenegildo (T.U. Madrid and U. of New Mexico)
  • Program Co-Chairs:  Sandro Etalle (Universiteit Twente), Mirek Truszczynski (University of Kentucky, USA) 
  • Workshop Chair:  Christian Schulte (KTH – Royal Institute of Technology, Sweden)
  • Doctoral Consortium Chair:  Enrico Pontelli (New Mexico State University)
  • Publicity Chair: Alexander Serebrenik (TU Eindhoven)
  • Program committe: Maria Alpuente (Technical University of Valencia, Spain)Krzysztof Apt (CWI and University of Amsterdam, The Netherlands) Annalisa Bossi (University of Venice, Italy) Veronica Dahl (Simon Fraser University, Canada) Giorgio Delzanno (University of Genua, Italy) Pierre Deransart (INRIA Rocquencourt, France) Agostino Dovier (University of Udine, Italy) Thomas Eiter (Technical University of Vienna, Austria) Sandro Etalle, co-chair (University of Twente, The Netherlands) John Gallagher (University of Roskilde, Denmark) Michael Gelfond (Texas Tech University, USA) Hai-Feng Guo (University of Nebraska at Omaha, USA) Manuel Hermenegildo (Technical University of Madrid, Spain) Tomi Janhunen (Helsinki University of Technology, Finland) Fangzhen Lin (Hong Kong University of Science and Technology, Hong Kong) Michael Maher (National ICT Australia, Australia) Victor Marek (University of Kentucky, USA) Eric Monfroy (UTFSM, Chile and University of Nantes, France) Stephen Muggleton (Imperial College, United Kingdom) Brigitte Pientka (McGill University, Canada)
    Maurizio Proietti (The National Research Council, Italy) I.V. Ramakrishnan (SUNY Stony Brook, USA) Peter van Roy (Catholic University of Louvain, Belgium) Harald Søndergaard (The University of Melbourne, Australia) Mirek Truszczynski, co-chair (University of Kentucky, USA) German Vidal (Technical University of Valencia, Spain) Andrei Voronkov (The University of Manchester, United Kingdom) Roland Yap (National University of Singapore, Singa0pore)



The program included eight accepted workshops:

  • ALPSWS: Applications of Logic Programming in the Semantic Web and Semantic Web Services (Aug 16)
  • CICLOPS: Colloquium on Implementation of Constraint and LOgic Programming Systems (Aug 21)
  • LaSh: Search and Logic: Answer Set Programming and SAT (Aug 16)
  • MVPLA: International Workshop on Multi-Valued Logic and Logic Programming (Aug 21)
  • PREFS: Preferences and Their Applications in Logic Programming Systems (Aug 16)
  • SVV: International Workshop on Software Verification and Validation (Aug 21)
  • WG 17: WG17 ISO Technical Advisory Committee for Prolog (Aug 21)
  • WLPE: 16th Workshop on Logic-Based Programming Environments (Aug 16)


The FLoC 2006 conferences will be held at the Seattle Sheraton Hotel and Towers in the heart of downtown Seattle.