2006 Doctoral Consortium in (Constraint) Logic Programming

Enrico Pontelli
New Mexico State University
USA

Editor: Enrico Pontelli

The 2006 ICLP Doctoral Consortium on (Constraint) Logic Programming took place on August 21st, 2006, during the 2006 International Conference on Logic Programming, in Seattle, WA.

The aims of the ICLP Doctoral Consortium are:

• To provide doctoral students working in the field of logic and constraint logic programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback
• To provide  students with relevant information about important issues for doctoral candidates and future academics
• To develop a supportive community of scholars and a spirit of collaborative research.
• To support a new generation of researchers with information and advice on academic, research, industrial, and nontraditional career paths.

The Doctoral Consortium is designed for students currently enrolled in a Ph.D. program and conductive research in areas related to Logic or Constraint Logic Programming. The Consortium allows participants to interact with established researchers and with other students, through presentations, question-answer sessions, panel discussions, and invited presentations. 

Six excellent submissions were accepted for the 2006 Doctoral Consortium. Each accepted student had the opportunity to present his/her research during a special session of ICLP 2006, under the supervision of an assigned mentor. The accepted submissions are:

• Martin Brain (University of Bath, UK): "Declarative Problem Solving using Answer Set Programming"
• Gergerly Lukacsy (Budapest Institute of Technology, Hungary): "Description Logic Reasoning in Prolog"
• Quan Phan (Catholic University of Leuven, Belgium): "Static Memory Management for Logic Programming Languages"
• Tu Huy Phan (New Mexico State University, USA): "Efficient Reasoning about Action and Change in the Presence of Incomplete Information and its Application in Planning"
• Tiago Soares (University of Porto, Portugal): "Deductive Databases: Implementation, Parallelism, and Application"
• Ka-Shu Wong (National ICT, Australia): "Deducing Logic Programs"

In addition to the students presentations and discussion, the 2006 Doctoral Consortium featured an invited presentation by Gopal Gupta, titled "Logic Programming: the grand unifying theory of Computer Science".

The Doctoral Consortium was made possible by generous contributions from 

• the Association for Logic Programming
• the National Science Foundation
• the FLoC Federated Logic Conference organization
• the College of Arts & Sciences, New Mexico State University

that provided for financial support for the participating students. 

2006 ICLP Doctoral Consortium: Gallery

The DC 2006 Chair :-)	Quan Phan (DC Participant)
Michel Ferreira (DC Mentor)	Inna Pivkina (DC Mentor)
David Scott Warren (DC Mentor)	Tiago Soares (DC Participant)
Son Cao Tran (DC Mentor)	Ka-Shu Wong (DC Participant)
Gergerly Lukacsy (DC Participant)	Martin Brain (DC Participant)
Agostino Dovier (DC Mentor)	Tu Huy Phan (DC Participant)
Gopal Gupta (Invited Speaker)
The 2006 DC Participants