ICLP'08 CALL FOR PARTICIPATION
ICLP 08
iclp08pub at cs.nmsu.edu
Mo Sep 22 16:24:37 CEST 2008
CALL FOR PARTICIPATION
ICLP'08
24th International Conference on Logic Programming
Udine, Italy, December 9th-13th, 2008
http://iclp08.dimi.uniud.it
We are pleased to announce the 24th International Conference on Logic
Programming, to be held in Udine, Italy, in December 2008.
The ICLP'08 program includes 37 regular presentations, 26 short presentations,
4 tutorials, 5 workshops (ASPOCP, WG17, ALPSWS, WLPE and CICLOPS) and the
traditional Prolog programming contest. The tutorials include presentations
given by:
- Carla Piazza e Alberto Policriti (Systems Biology: Models and Logics)
- Angelo Montanari (Temporal Logics)
- Tom Schrjivers (Constraint Handling Rules)
- Peter O'Hearn (Separation Logic)
Moreover the program features the invited talk by Vitor Santos Costa (The Life
of a Logic Programming System) and a second invited talk TBA.
The conference celebrates the 20th anniversary of the stable-model semantics
with a special session at ICLP 2008 dedicated to answer-set programming. The
session will feature invited talks by Michael Gelfond, Vladimir Lifschitz,
Nicola Leone and David Pearce, as well as by other major contributors to the
field, presenting personal perspectives on the stable-model semantics, its
impact and its future.
Online registration for ICLP is now open at:
http://iclp08.dimi.uniud.it/ICLPRegistrationForm/ICLP2008registration.html
Deadline for early registration is October 15, 2008.
----------------------------------------------------
For further information: iclp08 at cs.nmsu.edu
http://iclp08.dimi.uniud.it
Mehr Informationen über die Mailingliste IFI-CI-Event