ICLP DC 2022

PROGRAM

August 2nd, 2022 - room Taub 8 (venues).

• 13:55-14:00. Opening.

• 14:00-14:30. Alice Tarzariol: A Model-Oriented Approach for Lifting Symmetries in Answer Set Programming.

• 14:30-15:00. Zachary Hansen: Tools and Methodologies for Verifying Answer Set Programs.

• 15:00-15:30. Matteo Cardellini: An ASP Framework for Efficient Urban Traffic Optimization.

• 15:30-16:00. Coffee break.

• 16:00-16:30. Marco Mochi: Planning and Scheduling in Digital Health with Answer Set Programming.

• 16:30-17:00. Mohammed El-Kholany: Decomposition strategies for solving Scheduling Problems in Industrial Applications.

Best Doctoral Consortium Presentation Award

Alice Tarzariol: A Model-Oriented Approach for Lifting Symmetries in Answer Set Programming.

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):

• 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 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, panel discussions, and invited presentations. 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.

Accepted submissions will be published as Technical Communications in EPTCS (http://info.eptcs.org/).

The best paper from the DC will be given the opportunity to make a presentation in a session of the main ICLP conference.

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

The submission package consists of:

• a research summary,

• a short vita or cover letter of the applicant,

• a letter of recommendation from applicant's faculty advisor, and one paragraph statement outlining how the doctoral consorium will benefit the applicant.

All material is to be submitted electronically, in a single PDF on the Easychair system: https://easychair.org/conferences/?conf=iclpdc2022

For all accepted DC papers, the student is required to attend the DC program and give a presentation of 20 minutes followed by discussions.

Research summary (make sure to include your complete name, address, and affiliation):

The research summary must be written in English and should be between 5 and 10 pages.

The body of your research summary 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.

Submissions of the research summary must be made in EPTCS format (http://info.eptcs.org/).

Review Criteria

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 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.

Registration

• Registration is part of the ICLP 2022 registration.

Program Committee

• Veronica Dahl, Simon Fraser University (co-chair)

• Carmine Dodaro, University of Calabria (co-chair)

• Johannes K. Fichte, TU Wien

• Fabio Fioravanti, University of Chieti-Pescara

• Daniela Inclezan, Miami University

• Marco Maratea, University of Genova

• Zeynep G. Saribatur, TU Wien

• Frank Valencia, LIX, Ecole Polytechnique

• Yi Wang, Autodesk, Inc.

• Jessica Zangari, University of Calabria

Sponsors