[clean-list] ICLP'08 CALL FOR PARTICIPATION

ICLP 08 iclp08pub at cs.nmsu.edu
Thu Oct 16 16:46:11 MEST 2008


                            CALL FOR PARTICIPATION
                  ** EARLY REGISTRATION DEADLINE EXTENDED **
                            ** October 26, 2008 **
                                    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,
2  invited  talks,  4  tutorials,  5  workshops (ASPOCP, WG17, ALPSWS, WLPE and
CICLOPS) and the traditional logic programming contest.

The  program  features  the  invited talks by Vitor Santos Costa, University of
Porto and by Pedro Domingos, University of Washington.

The tutorials include presentations given by:

 - Tom Schrijvers (Constraint Handling Rules)
 - Peter O'Hearn (Separation Logic)
 - Carla Piazza e Alberto Policriti (Systems Biology: Models and Logics)
 - Angelo Montanari (Temporal Logics)

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.

An  additional  highlight  of  the  program  is  a session aimed at uniting and
inspiring the Prolog community, organized by Tom Schrijvers and Bart Demoen.

Online registration for ICLP is open at:

http://iclp08.dimi.uniud.it/ICLPRegistrationForm/ICLP2008registration.html

New deadline for early registration is October 26, 2008 (strict).

----------------------------------------------------
For further information: iclp08 at cs.nmsu.edu
                         http://iclp08.dimi.uniud.it


More information about the clean-list mailing list