Doctorial Consortium and Mentoring Sessions
Scope
The 19th Doctoral Consortium (DC) on Logic Programming provides students and early career researchers with the opportunity to present and discuss their research directions, obtain feedback from both peers and experts in the field, and participate in mentoring sessions on how to prepare for a research career.
In particular, the DC:
will have leaders in logic programming research, from academia and industry, to give talks on their research areas and comment on the presented works, providing valuable insights for early career researchers; and
host a *Mentoring Lunch* consisting of a lunch break where two senior researchers share a lunch table with 3-4 students. The researchers will be charged with initiating and driving a discussion on general topics concerning research, career, and the field of Logic Programming in general. Each DC student will be able to provide 2 questions of interest that can be used a prompt for mentors to start conversation.
The best paper from the DC will be given the opportunity to be presented at a session in the main ICLP conference.
The Consortium will take place on the 9th of July. See the Important Dates page and the table below for other relevant dates.
Deadline
Paper submission
Final notifications
Camera-ready submission
Date (2023)
April 14
May 5
May 12
Audience
The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to):
Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation.
Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming Techniques.
Declarative programming: Declarative program development, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization.
Implementation: Virtual machines, Compilation, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces.
Related Paradigms and Synergies: Neuro-symbolic AI and Logic Programming, Machine Learning, Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer Set Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object-oriented, Functional programming.
Applications: Databases, Big Data, Data integration and federation, Software engineering, Natural language processing, Web and Semantic Web, Agents, Artificial intelligence, Explainable AI, Computational life sciences, Education, Cybersecurity, Planning, Robotics.
Submissions by students who have presented their work at previous ICLP DC editions are allowed, but should occur only if there are substantial changes or improvements to the student's work. The DC offers participants a convenient, more informal way to interact with established researchers and fellow students, through presentations, question-answer sessions, invited presentations and convivial moments of mentoring. The Doctoral Consortium will also 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.
Registration
Registration is part of the ICLP 2023 registration. We aim to find sponsoring to cover the registration cost of students participating in the DC, but this still has to be confirmed.
Discussants
Renowned experts and researchers in the fields of logic and constraint programming will join in evaluating submissions and will participate in the DC, providing valuable feedback to DC participants.
Goals
To provide doctoral students working in the fields 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.
Submission Details
Submissions of the research summary must be made in EPTCS format (http://info.eptcs.org/) and submitted via EasyChair. All papers must be written in English and should be between 5 and 10 pages. For all accepted DC papers, the student is required to attend the DC program and give a presentation during the DC. A program committee consisting of experts in various areas related to logic and constraint programming reviews the submissions. Papers are reviewed by at least two, and usually three, referees. The submission package should consist of:
The research summary in the format mentioned above
A cover letter of the applicant, including a one paragraph statement outlining the reasons for applying to the DC and how it will benefit the applicant
All material is to be submitted electronically, in PDF format on the Easychair system, selecting the “Doctoral Consortium” track.
Easychair link: https://easychair.org/conferences/?conf=iclp2023
Research Summary
Make sure to include your complete name, address, and affiliation
The body of your research summary (no more than 10 pages, but 5 is fine as well!) should provide a clear overview of your 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
Review Criteria
The DC program committee will select participants based on their anticipated contribution to the DC objectives. Participants typically have settled on their thesis directions and have their research proposal accepted by their thesis committee. Students will be selected based on clarity and completeness of their submission package, relevance of their research area w.r.t. the focus of ICLP, stage of research, recommendation letter, and evidence of promise towards a successful career in research and academia, such as published papers or technical reports.
Organisation
Program co-chairs:
Francesco Fabiano, University of Parma
Alessandra Mileo, DCU
Program Committee:
Marina De Vos, University of Bath
Carmine Dodaro, University of Calabria
Cristina Feier, University of Oxford
Johannes K. Fichte, TU Wien
Fabio Fioravanti, University of Chieti-Pescara
Paul Fodor, Stony Brook University
Luca Geatti, Free University of Bozen/Bolzano
Martin Gebser, University of Klagenfurt
Daniela Inclezan, Miami University
Marco Maratea, University of Genova
Jose F. Morales, IMDEA Software Research Institute
Frank Valencia, LIX, Ecole Polytechnique
Yi Wang, Autodesk Research
Jessica Zangari, University of Calabria
Any additional question can be directed towards ICLP-DC Chairs:
francesco.fabiano@unipr.it alessandra.mileo@dcu.ie