Autumn School on Logic Programming
Friday and Saturday, September 20-21, 2019, Las Cruces, New Mexico, USA
Students and researchers interested in topics in logic programming are invited to attend the 2019 Autumn School.
Students and researchers interested in topics in logic programming are invited to attend the 2019 Autumn School.
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).
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).
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.
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.
Schedule:
Schedule:
Friday, Sept. 20, 2019 (Corbett Center, Senate Chamber):
- 8:50-9:00: Summer School Opening
- 9:00-10:30: Modelling and Solving with Answer Set Programming from the basics to real-world applications I (Slides) - Lecturer: Francesco Ricca, https://www.mat.unical.it/ricca/
- 10:30-11:00: Coffee Break
- 11:00-12:30: Modelling and Solving with Answer Set Programming from the basics to real-world applications II (Slides) - Lecturer: G.B. Ianni, https://www.mat.unical.it/~ianni/ .
- 12:30-14:00: Lunch
- 14:00-15:30: Coinductive and Abductive Logic Programming I (Slides) - Lecturer: Gopal Gupta, UT Dallas, http://www.utdallas.edu/~gupta/
- 15:30-16:00: Coffee Break
- 16:00-17:30: Coinductive and Abductive Logic Programming II - Lecturer: Gopal Gupta, UT Dallas.
Saturday, Sept. 21st, 2019 (Senate Chamber):
- 9:00-10:30: Logic-based Learning I (Slides) - Lecturer: Alessandra Russo, Imperial College London, UK, http://wp.doc.ic.ac.uk/arusso/
- 10:30-11:00: Coffee Break
- 11:00-12:30: Logic-based Learning II (Slides) - Lecturer: Mark Law, Imperial College London, UK, https://www.doc.ic.ac.uk/~ml1909/
- 12:30-14:00: Lunch
- 14:00-15:30: Logic-programming for stream reasoning I (Slides) - Lecturer: Thomas Eiter, Technische Universität Wien, Austria, http://www.kr.tuwien.ac.at/staff/eiter/
- 15:30-16:00: Coffee Break
- 16:00-17:30: Logic-programming for stream reasoning II - Lecturer: Thomas Eiter, Technische Universität Wien, Austria.
Registration
Registration
- Registration is part of the ICLP 2019 registration: https://shopcart.nmsu.edu/shop/icpl2019
- The Autumn School on Logic Programming can be attended by any of the participants of ICLP conference or workshops. There is no additional registration fee.
- A number of scholarships for students that cover local expenses for the duration of the school are available. To apply for these scholarships, students must submit the information required on the Doctoral Consortium (DC) page in Easychair. Instructions are posted on the DC page: https://sites.google.com/cs.stonybrook.edu/iclp2019dc/iclp-2019-doctoral-consortium
Organizers
Organizers
- Daniela Inclezan, Miami University
- Paul Fodor, Stony Brook University