**apologies for cross-posting**
Eighth ICLP Doctoral Student Consortium
to be held in Budapest, Hungary, 4th of September 2012
** Introduction **
The ICLP Doctoral Consortium (DC) is the eighth doctoral consortium to be offered as part
of the 28th International Conference on Logic Programming. The DC follows the very
positive experience of the previous events held in Sitges (Spain) on October 3rd, 2005,
in Seattle (WA, USA) on August 21st, 2006, in Porto (Portugal) on September 8th, 2007,
in Udine (Italy) on December 10th, 2008, in Pasadena (USA) on July 15th, 2009, in Edinburgh
(Scotland) on July 20th, 2010, and in Lexington (KY, USA) on July 6th, 2011.
The DC will take place during the ICLP 2012 in Budapest, Hungary. 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. The Consortium is also open to exceptional Master's students developing MS Theses
in Logic Programming. The Doctoral Consortium aims to provide students with an opportunity
to present and discuss their research directions and to obtain feedback from peers as well
as world-renown experts in the field.
** 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 and
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
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
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.
Submission Deadline: May 4th, 2012
Acceptance Notification: May 25th, 2012
Camera ready version: June 10th, 2012
Doctoral Consortium: September 4th, 2012
ICLP 2012 Conference: September 4th-8th, 2012
To apply for participation to the ICLP 2012 Doctoral Consortium, prepare a
submission package consisting of a cover letter, a research summary, and a
letter of recommendation (e.g., from your supervisor). The material should
be submitted electronically, in PDF format.
The ICLP Doctoral Consortium review committee will select participants based
on their anticipated contribution to the Consortium objectives. Participants
typically have settled on their thesis directions and had their research
proposal accepted by their thesis committee. Students will be selected based
on clarity and completeness of the submission packet, relevance of their
research area w.r.t. the focus of the ICLP Conference, stage of research,
advisor's letter, and evidence of promise towards a successful research and
academic career, such as published papers or technical reports.
The ICLP Doctoral Consortium Discussants will review the submissions to select
the ones to be presented. The organizing committee is actively seeking support
to offer scholarship packages to accepted participants. We will update the web
site as soon as we have more information regarding this.
Send the submission package by e-mail to: firstname.lastname@example.org
Include the three documents as separate pdf files in attachment.
All submissions must be in English. Submissions will not be considered
if they arrive after the deadline. Your submission should not contain any
proprietary or confidential material.
Please include the following information in the cover page:
Statement of interest in participating in the Doctoral Consortium
Full name and School and Department in which you are earning your doctorate
Contact information - address, telephone number, and email address
Title of your research and keywords pertinent to your research
The URL of your web page (if any)
Name of your supervising professor
Current stage in your program of study, e.g. (Master/PhD student, start date)
Prepare your research summary as a PDF document, using the LIPIcs template.
Make sure to include your complete name, address and affiliation.
The body of your research summary (no more than 6 pages, but 3 is fine as well!)
should provide a clear overview of the research, its potential impact, and its
current status. You are encouraged to include the following sections:
Introduction and problem description
Background and overview of the existing literature
Goal of the research
Current status of the research
Preliminary results accomplished (if any)
Open issues and expected achievements
Letter of Recommendation:
Include a letter of recommendation written by your Graduate Advisor or Thesis
Advisor. Please, invite your advisor to include an assessment of the current
status of your thesis research and an indication of the expected deadline for
thesis submission. In addition, your advisor should indicate what she/he hopes
you would gain from participation in the Doctoral Consortium.
Ferrara University, Italy
Institute of Information Systems
TU Wien, Austria
- Fabio Fioravanti, University "G. d'Annunzio" of Chieti - Pescara (Italy)
- Paul Fodor, Stony Brook University (USA)
- Martin Gebser, Universitat Potsdam (Germany)
- Francesca A. Lisi, Universita degli Studi di Bari "Aldo Moro" (Italy)
- Marco Maratea, University of Genova (Italy)
- Gerardo I. Simari, University of Oxford (UK)
- Jon Sneyers, K.U. Leuven (Belgium)