Doctoral Consortium
International Conference on Logic Programming (ICLP 2024)
International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024)
Dallas, Texas, US
October 12-13, 2024
ICLP/LPNMR-DC 2024 will be held as a physical event in Dallas, Texas, US
The ICLP & LPNMR Doctoral Consortium (ICLP/LPNMR-DC 2024) will take place during the 40th International Conference on Logic Programming (ICLP 2024) and the 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024) in Dallas, Texas, US, on October 13, 2024.
Sopam Dasgupta "Generating Causally Compliant Counterfactual Explanations using ASP" Evaluation Form
Talissa Dreossi "Bridging Deep Learning and Logic Programming for Explainability through ILP" Evaluation Form
Susana Hahn "Computational methods for Dynamic Answer Set Programming" Evaluation Form
Zachary Hansen "Relating Answer Set Programming and Many-sorted First-order Logic" Evaluation Form
Mohimenul Kabir "Answer Set Counting and its Applications" Evaluation Form
Kalonji Kalala "Logical Foundations of Smart Contracts" Evaluation Form
Keegan Kimbrell "Commonsense Reasoning-Aided Autonomous Vehicle Systems" Evaluation Form
Samuele Pollaci "A Category-Theoretic Perspective on Approximation Fixpoint Theory" Evaluation Form
Nicolas Rühling "Hybrid Answer Set Programming: Foundations and Applications" Evaluation Form
Alexis Tudor "Autonomous Task Completion Based on Goal-directed Answer Set Programming" Evaluation Form
Ondřej Vašíček "Early Validation of High-level Requirements on Cyber-Physical Systems" Evaluation Form
Yankai Zeng "Reliable Conversational Agents under ASP Control that Understand Natural Language" Evaluation Form
The 20th 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 senior researchers share the table with students. The mentors will report their thoughts and experiences on general topics concerning research, career, and the field of logic programming in general.
Two best DC student contributions will be selected by the program committee and the DC participants. The awarded contributions will receive presentation slots during the main conference sessions, one at ICLP 2024 (October 16, 16:00-16:15) and one at LPNMR 2024 (October 14, 14:15-14:30), to be determined on the basis of the presentation topics.
The registration will be part of the ICLP 2024 main conference registration. Funding by NSF will be provided to cover (part of) the travel expenses and conference registration fees of US-based students. For students from outside the US, registration waiver and partial support for accommodation will be available for select students.
Application submission: 21 July, 2024 2 August, 2024
Notification to authors: 26 August, 2024
Camera-ready copy due: 15 September, 2024
DC event: October 13, 2024
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 of 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; 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; Reasoning; 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; Type Inference and Theorem Proving; Argumentation; Probabilistic Logic Programming; Relations to Object-oriented and 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.
DC students are highly encouraged to attend the Autumn School on Logic Programming, held in affiliation with ICLP 2024 and LPNMR 2024.
The DC offers participants an inspiring and informal way to interact with established researchers and fellow students, through presentations, question-answer sessions, invited presentations, and convivial moments of mentoring. The DC 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 thorough, critiqued research presentation.
The aims encouraging DC participation include:
To provide doctoral students working in the fields of logic and constraint programming with a friendly and open forum to present their research ideas, learn about ongoing works of 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.
Submissions must be written in English and consist of:
a cover letter of the applicant, including a statement outlining the reasons for applying to the DC and how it will benefit the applicant; and
a research summary, prepared in EPTCS format (http://info.eptcs.org/), that meets the following criteria. The body of the research summary (no more than 10 pages, excluding references, but 5 pages is fine as well!) should provide a clear overview of your research, its potential impact, and its current status. You are encouraged to include sections covering the following points:
Your complete name, address, and affiliation
Introduction and problem description
Background and overview of the existing literature
Goals of the research
Current status of the research
Preliminary results accomplished (if any)
Open issues and expected achievements
Bibliographical references
The application is to be submitted electronically in PDF format on the Easychair system, selecting the "Doctoral Consortium" track: https://easychair.org/conferences/?conf=iclp2024.
Submissions by students who have presented their work at previous ICLP or LPNMR DC editions are allowed but should occur only if there are substantial changes or improvements to the student's research.
A program committee consisting of experts in various areas related to logic and constraint programming reviews the submissions. Applications are reviewed by at least two, and usually three, referees. For all accepted DC applications, the student is required to attend the DC program and give a presentation during the DC.
Students will be selected based on their anticipated contribution to the DC objectives, considering the clarity and completeness of their application, relevance of their research areas w.r.t. the focus of ICLP and LPNMR, stage of research, and evidence of promise towards a successful career in research and academia, such as published papers or technical reports. Participants typically have settled on their thesis directions and have their research proposal accepted by their thesis committee.
Program Co-Chairs:
Francesco Fabiano, New Mexico State University
Martin Gebser, University of Klagenfurt
Program Committee
Marina De Vos, University of Bath
Carmine Dodaro, University of Calabria
Cristina Feier, Technical University of Cluj-Napoca
Johannes K. Fichte, Linköping University
Paul Fodor, Stony Brook University
Sarah Alice Gaggl, TU Dresden
Laura Giordano, Università del Piemonte Orientale
Markus Hecher, Massachusetts Institute of Technology
Daniela Inclezan, Miami University
Eleonora Iotti, Università di Parma
Vladimir Lifschitz, The University of Texas at Austin
Yanhong A. Liu, Stony Brook University
Marco Maratea, University of Calabria
Jose F. Morales, IMDEA Software Research Institute
Francesco Ricca, University of Calabria
Alice Tarzariol, University of Klagenfurt
Frank Valencia, École Polytechnique de Paris
Please direct any inquiries and questions to the ICLP/LPNMR-DC 2024 co-chairs:
Francesco Fabiano: ffabiano@nmsu.edu
Martin Gebser: martin.gebser@aau.at
