CMT Logo

Doctoral Consortium - ICLP 2011

Seventh ICLP Doctoral Student Consortium

ICLP-DC 2011

Seventh ICLP Doctoral Student Consortium

to be held in Lexington, Kentucky, USA at the occasion of ICLP 2011

July 6-10, 2011

General Information

The aims of the Doctoral Consortium are:

  • To provide doctoral students working in the field of logic and constraint 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 non-traditional career paths.


The Consortium is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Masters program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply. Applicants are expected to be conducting research in the field of Logic Programming; topics of interest include (but are not limited to):
  • Theoretical Foundations of Logic and Constraint Logic Programming
  • Sequential and Parallel Implementation Technology
  • Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, Verification
  • Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming)
  • Innovative Applications of Logic Programming

Submissions by students who have presented their work at a previous ICLP Doctoral Consortia are allowed, but should occur only if there are substantial changes or improvements to the student's work.

The Consortium allows participants to interact with established researchers and with other students, through presentations, question- answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation.


Several renowned faculty members and researchers in the field of Logic Programming will join in evaluating the submission packets and will participate in the Doctoral Consortium, providing feedback to the presenters.

Important Dates

NEW Submission Deadline: April 26th, 2011
Acceptance Notification: May 2nd, 2011
Last Date to Update Research Summary: May 8th, 2011
Camera ready version: June 6th, 2011
Doctoral Consortium: 6th July, 2011
ICLP 2011 Conference: July 6-10, 2011

Program Chairs

Alessandro Dal Palu'
Math Dept
Parma University, Italy

Stefan Woltran
Institute of Information Systems
TU Wien, Austria