Logic List Mailing Archive

2016 Autumn School on Computational Logic

16-17 Oct 2016
New York NY, U.S.A.

The 2016 Autumn School on Computational Logic will be held on
October 16-17, 2016, in New York, affiliated to the
32nd International Conference on Logic Programming (ICLP'16).
Researchers and PhD students are encouraged to attend. Student
scholarships are available (Deadline for application: July 24)

               Association for Logic Programming

            2016 Autumn School on Computational Logic

               http://iclp16school.webs.upv.es/
                 October 16-17, New York, USA
                    (Affiliated to ICLP'16)

Researchers interested in research 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:

1. Constraint Logic Programming
       Lecturer: Roman Bartak, Charles University, Czech Republic

2. Language processing through logic grammars and constraints
       Lecturer: Veronica Dahl, Simon Fraser University, Canada

3. Answer Set Programming: foundations and applications
       Lecturer: Torsten Schaub, University of Potsdam, Germany

4. Verification and probabilistic programming
       Lecturer: C.R. Ramakrishnan, SUNY Stony Brook, USA

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.

Organizers:
John Gallagher, Roskilde University, Denmark
German Vidal, Universitat Politecnica de Valencia, Spain
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam