32nd International Conference on Logic Programming
October 16-21 2016, New York City, USA

Students and researchers interested in topics in computational logic are invited to attend the 2016 Autumn School. The 2-day school is suited for those who wish to learn advanced topics in computational logic and logic programming. It will consist of four half-day tutorials on the following topics: Constraint logic programming (Roman Barták), Language processing through logic grammars and constraints (Verónica Dahl), ASP foundations and applications (Torsten Schaub), and Verification and probabilistic programming (C. R. Ramakrishnan).

A number of scholarships for students that cover local expenses for the duration of the school are available. To apply for these scholarships, students should also register to the Doctoral Consortium and send the following information to German Vidal at gvidal@dsic.upv.es by July 24th:

  • A short vita of the applicant.
  • A letter of recommendation from applicant's faculty advisor.
  • A one paragraph statement outlining how the school will benefit the applicant.

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


Schedule:

  • Oct 16th

    • 8:50-9:00: Summer School Opening

    • 9:00-10:30: Constraint Logic Programming I (Slides) - Lecturer: Roman Barták, Charles University, Czech Republic
    • 10:30-11:00: Coffee Break
    • 11:00-12:30: Constraint Logic Programming II (Slides) - Lecturer: Roman Barták, Charles University, Czech Republic

    • 12:30-14:00: Lunch

    • 14:00-15:30: Language processing through logic grammars and constraints I (Slides) - Lecturer: Verónica Dahl, Simon Fraser University, Canada
    • 15:30-16:00: Coffee Break
    • 16:00-17:30: Language processing through logic grammars and constraints II (Slides) - Lecturer: Verónica Dahl, Simon Fraser University, Canada

  • Oct 17th

    • 9:00-10:30: Answer Set Programming: foundations and applications I (Slides) - Lecturer: Torsten Schaub, University of Potsdam, Germany
    • 10:30-11:00: Coffee Break
    • 11:00-12:30: Answer Set Programming: foundations and applications II (Slides) - Lecturer: Torsten Schaub, University of Potsdam, Germany

    • 12:30-14:00: Lunch

    • 14:00-15:30: Verification and probabilistic logic programming I (Slides) - Lecturer: C. R. Ramakrishnan, Stony Brook University (SUNY), USA
    • 15:30-16:00: Coffee Break
    • 16:00-17:30: Verification and probabilistic logic programming II (Slides) - Lecturer: C. R. Ramakrishnan, Stony Brook University (SUNY), USA

    Registration

    Registration is open at the ICLP 2016 registration page. Early registration ends by September 5.

    Organizers

    John Gallagher, Roskilde University, Denmark
    Germán Vidal, Universitat Politècnica de València, Spain