|
|
|
ICLP Doctoral Consortium 2007
Ines Dutra1 and Enrico Pontelli2
1University of Porto, Portugal
2New Mexico State University, USA
|
|
Editor: Enrico Pontelli
|
The Third Doctoral Consortium on Logic Programming (ICLP-DC)
took place on September 8th, 2007 in Porto, Portugal. This event was
co-located with the 23rd International Conference on Logic Programming,
and it follows the first two successful ICLP-DCs -- held in Sitges
(Spain) , 2005, and in Seattle (USA), 2006. 
The event was sponsored by the Association for Logic Programming, New Mexico State University, and the University of Porto.
The Doctoral Consortium is designed
for doctoral students working in areas related to logic and constraint
programming,
with a particular emphasis to students interested in pursuing a career
in academia. It aims to provide students with an opportunity to present and
discuss their research directions and to obtain feedbacks from peers as
well as world-renown experts in the field.
This year the ICLP-DC featured six accepted presentations and one
invited talk. The invited talk was given by Peter Szeredi, and it
provided an entertaining and informative overview in the development of
Prolog.

The six accepted presentations are:
- Martin Gebser (U. Potsdam): "Advanced Techniques for Answer Set Programming"
- Emilia Oikarinen (Helsinki University of Technology): "Modular Answer Set Programming"
- Peter Van Weert (K.U.Leuven): "Extension and Implementation of the CHR Language"
- Carlos Olarte (Ecole Polytechnique): "Universal Timed Concurrent Constraint Programming"
- Jonty Needham (University of Bath): "An Interaction Model for Answer Set Programming"
The ICLP-DC relied on the generous contributions of a number of
individual, including the on-site mentors, who assisted and introduced
the participants. We would like to extend our sincere 'Thank You' to
D.S. Warren, P. Moura, M. Carro, M. Ferreira, and S. Tran for their
help.
|