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.