ICLP DC 2019

15th Doctoral Consortium (DC) on Logic Programming

Sunday, September 22, 2019, Las Cruces, New Mexico, USA

The 15th Logic Programming Doctoral Consortium (DC) provides students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and experts in the field. It will take place during the 35th International Conference on Logic Programming (ICLP) https://www.cs.nmsu.edu/ALP/iclp2019/ (September 20-25, 2019, in Las Cruces, New Mexico, USA).

Schedule

Sunday, Sept. 22nd, 2019:

    • 9:00 -10:00 Invited Talk (Adnan Darwiche) and Test-of-time award (https://www.cs.nmsu.edu/ALP/iclp2019/schedule.html)
    • 10:00-10:30: Coffee Break
    • 10:30-10:50: Fabio Tardivo. Experimenting with Constraint Programming on GPU.
    • 10:50-11:10: Farhad Shakerin. Induction of Non-Monotonic Logic Programs To Explain Statistical Learning Models.
    • 11:10-11:30: Francesco Fabiano. Design of a Solver for Multi-Agent Epistemic Planning.
    • 11:30-11:50: Francesco Pacenza. Reasoning in Highly Reactive Environments.
    • 12:00-13:00: Lunch
    • 13:00-13:20: Kinjal Basu. Conversational AI : Open Domain Question Answering and Commonsense Reasoning.
    • 13:20-13:40: Man Luo. Strong equivalence for LPMLN programs.
    • 13:40-14:00: Marco De Bortoli. Distributed Answer Set Coloring: Stable Models Computation via Graph Coloring.
    • 14:00-14:20: Mateusz Slazynski. Research report on automatic synthesis of Local Search neighborhood operators.
    • 14:30-15:00: Coffee Break
    • 15:00-15:20: Sarat Chandra Varanasi. Imperative Program Synthesis from Answer Set Programs.
    • 15:20-15:40: Yusuf Izmirlioglu. Reasoning about Qualitative Direction and Distance between Extended Objects using Answer Set Programming.
    • 15:40-16:00: Valentina Pitoni. Memory Management in Resource-Bounded Agents.
    • 16:00-16:20: Tiantian Gao. Knowledge Authoring and Question Answering with KALM.
    • 16:30-17:00: Coffee Break
    • 17:00 Tutorial (Chitta Baral) and Welcome Reception (https://www.cs.nmsu.edu/ALP/iclp2019/schedule.html)

Accepted papers

    • Fabio Tardivo. Experimenting with Constraint Programming on GPU.
    • Farhad Shakerin. Induction of Non-Monotonic Logic Programs To Explain Statistical Learning Models.
    • Francesco Fabiano. Design of a Solver for Multi-Agent Epistemic Planning.
    • Francesco Pacenza. Reasoning in Highly Reactive Environments.
    • Kinjal Basu. Conversational AI : Open Domain Question Answering and Commonsense Reasoning.
    • Man Luo. Strong equivalence for LPMLN programs.
    • Marco De Bortoli. Distributed Answer Set Coloring: Stable Models Computation via Graph Coloring.
    • Mateusz Slazynski. Research report on automatic synthesis of Local Search neighborhood operators.
    • Sarat Chandra Varanasi. Imperative Program Synthesis from Answer Set Programs.
    • Tiantian Gao. Knowledge Authoring and Question Answering with KALM.
    • Valentina Pitoni. Memory Management in Resource-Bounded Agents.
    • Yusuf Izmirlioglu. Reasoning about Qualitative Direction and Distance between Extended Objects using Answer Set Programming.

Important Dates

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 participants will receive partial financial support to attend the event and the main conference. 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 Details

The DC is designed for students currently enrolled in a Ph.D. program, however Master's students who are actively involved in research (please see the list of topics below) can also participate in the DC program.

Applicants are expected to conduct research in areas related to logic and constraint programming.

Topics included, but 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: 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 and Functional programming.
  • Applications: Databases, Big Data, Data integration and federation, Software engineering, Natural language processing, Web and Semantic Web, Agents, Artificial intelligence, Computational life sciences, Education, Cybersecurity, and Robotics.

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 of 20 minutes followed by discussions. 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 and the additional documents mentioned below in the financial support section - all students must submit these documents even if they don't apply for financial aid (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 school will benefit the applicant). All material is to be submitted electronically, in PDF format on the Easychair system.

Easychair link: https://easychair.org/conferences/?conf=iclp2019 (Doctoral Consortium track)

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

Financial Support

Students are invited to submit to the Doctoral Consortium (within the submission deadline) to receive financial assistance. A number of scholarships for students that cover local expenses for the duration of the DC and school are available. To apply for these scholarships, students should submit the following information as part of their DC application (in the same PDF with the paper submitted on Easychair):

                  • A short vita or cover letter of the applicant, containing:
                    • Full name of school and department to which you are affiliated
                    • Name(s) of your supervising professor(s)
                    • Title of your research work and keywords pertinent to your research
                    • Current stage in your program of study (e.g. Ph.D./MS student, start date)
                    • Contact information: full name, address, telephone number, and email address
                    • URL of your web page (if any)
                    • One paragraph statement outlining how the school will benefit the applicant.
                  • A letter of recommendation from applicant's graduate or thesis advisor. Please invite your adviser(s) to give an indication of the current status of your research and of the expected date of thesis submission. In addition, your adviser(s) should briefly describe what she/he hopes you to gain from participation in the DC.

The letter from the advisor should also certify that the applicant is a full-time student.

There are other sponsorship opportunities, but they are individual:

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.

Registration

Program co-chairs:

  • Daniela Inclezan, Miami University
  • Paul Fodor, Stony Brook University

Program Committee

Carmine Dodaro, University of Genova & DIBRIS, Italy

Cristina Feier, University of Bremen, Germany

Ekaterina Komendantskaya, Heriot-Watt University, UK

Fabio Fioravanti, University of Chieti-Pescara, Italy

Francesco Ricca, Department of Mathematics University of Calabria, Italy

Frank Valencia, LIX, Ecole Polytechnique, France

Jorge Fandino, University of Corunna, Spain

Jose F. Morales, IMDEA Software Research Institute, Spain

Marco Maratea, University of Genova & DIBRIS, Italy

Martin Gebser, Aalto University, Finland

Michael Gelfond, Texas Tech University, USA