Introduction
The ICLP Doctoral Consortium (DC) is the fifth doctoral consortium to be offered as part of the 25th International Conference on Logic Programming. The DC follows the very positive experience of the previous events held held in Sitges (Spain) on October 3rd, 2005, in Seattle (WA) on August 21st, 2006, in Porto (Portugal) on September 8th, 2007, and in Udine (Italy) on December 10th, 2008.
The DC will take place during ICLP 2009 in Pasadena (CA), USA. 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 feedbacks from peers as well as world-renown experts in the field. The Doctoral Consortium will also offer invited speakers and panels discussions.
Schedule
Each presentation will be allocated 8 minutes, and will be followed by 2 minutes for discussion.
Session 1: July 15, 9:30 - 10:20
| Alessio Paolucci | Intelligent Natural Language Processing Techniques and Tools |
| Christian Theil Have | Logic-statistical models with constraints for biosequence analysis |
| Marco Bottalico | Languages for Biological Reactions |
| Paul Fodor | Tabled Evaluation for Transaction Logic Programs |
Session 2: July 15, 14:40 - 15:55
| Paolo Pilozzi | Termination of CHR |
| Frank Raiser | Analysing Graph Transformation Systems using Extended Methods from Constraint Handling Rules |
| Dean Voets | Non-termination analysis of Logic Programs |
| Chendong Li | Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality |
| Paola Campli | Capturing fair computations on Concurrent Constraint Language |
| Michael Ashley-Rollman | Logic Programming for Massively Distributed Systems |
| Michael De Rosa | Locally Distributed Predicates: A Programming Facility for Distributed State Detection |
Session 3: July 15, 16:25 - 17:55
| Jianmin Ji | A Cognitive Architecture for a Service Robot: an Answer Set Programming Approach |
| Daniela Inclezan | Language ALM |
| Yana Todorova | Answering Questions from Natural Language using A-Prolog |
| Gerardo Simari | Stochastic Reasoning with Models of Agent Behavior |
| Hui Wan | Belief Logic Programming: Quantitative Reasoning for Correlation of Evidence |
| Mantas Simkus | Fusion of Logic Programming and Description Logics |
| Gayathri Namasivayam | Study of Random Logic Programs |
Important Dates
| Submission Deadline: | April 10, 2009 (strict) |
| Acceptance Notification: | April 20, 2009 |
| Last Date to Update Research Summary: | May 5, 2009 (strict) |
| Doctoral Consortium: | July 15, 2009 |
| ICLP 2009 Conference: | July 14-17, 2009 |
General Information
The Doctoral Consortium is held the during the regular activities of the ICLP 2009 Conference. 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.
- 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
The Doctoral Consortium will be held on a date to be determined, in parallel with the regular activities of the ICLP 2009 conference; the ICLP conference will run from July 14th to July 17th, 2009. Doctoral Consortium participants will be offered the opportunity to have their abstracts published in the ICLP 2009 conference proceedings.
Discussants:
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 Process
Application Process:
To apply for participation to the ICLP 2009 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.
Review Criteria:
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.
Award:
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.
Submission Package
Send the submission package by e-mail to tom.schrijvers _a_t_ cs.kuleuven.be. 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.
Detailed instructions for each of the documents follow below.
Cover Page:
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 degree
- 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)
Research Summary:
Prepare your research summary as a PDF document, using the same format style as for the regular submissions to ICLP 2009 (Springer Verlag LNCS Conference Publication Format). Keep the length of your research summary to no more than two pages, including figures, tables, and the bibliography.
Make sure to include your complete name, address and affiliation.
The body of you research summary 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
- Bibliographical references
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.
Chairs
|
Tom Schrijvers
|
Marcello Balduccini
|