| ICLP06 | Twenty Second International Conference on Logic Programming Seattle, August 17 - 20, 2006 |
Overview
Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. For more information, see previous ICLP conferences.
Program
Invited Talks
-
Friday, August 18th, 16:30‑17:30
Monica Lam (Stanford University)
Why Use Datalog to Analyze Programs? [ppt] -
Saturday, August 19th, 09:30‑10:30
Christopher A. Welty (IBM Watson Research Center)
Semantic Web: The story of the RIFt so far
Tutorial
-
Friday, August 18th, 09:00‑10:00
Brigitte Pientka (McGill University)
Overcoming performance barriers: efficient verification techniques for logical frameworks [pdf]
Doctoral Student Consortium
The Doctoral Student Consortium will provide an opportunity for students pursuing their doctoral thesis in logic programming and related areas to explore their research interests under the guidance of a panel of distinguished experts in the field. The Doctoral Consortium will also offer invited speakers and discussion groups. The Consortium will allow participants to interact with established researchers and with other students, through presentations, question-answer sessions, panel discussions, and invited presentations. For details, please check the consortium web-site.
ALP Sponsoring and Awards
The conference is sponsored by the Association for Logic Programming (ALP), the University of Kentucky, Logical Software Solutions and New Mexico State University. The ALP has funds to assist financially disadvantaged participants. The ALP is planning to sponsor two awards for ICLP-06: for the best technical paper and for the best student paper.
Organizing Committee
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)
To contact PC CO-Chairs: pcchairs@cs.uky.edu
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 Committee
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, Singapore)
