2014 Summer School on Computational Logic

[Manuel Carro]

Association for Logic Programming

2014 Summer School on Computational Logic

http://utd.edu/~gupta/summer_school.html
July 17-18, Vienna, Austria
(Part of Vienna Summer of Logic)

Researchers interested in research in computational logic are invited to
attend the 2014 Summer School on Computational Logic. The 2-day summer
school is suited for those who wish to learn advanced topics in
computational logic and logic programming. The summer school will
consist of four half-day tutorials on the following topics:

1. Probabilistic Logic Programming
Lecturer: C.R. Ramakrishnan, SUNY Stony Brook, USA

2. Answer Set Programming
Lecturer: Martin Gebser, Aalto University, Finland

3. Horn Clauses and Verification
Lecturer: Andrey Rybalchenko, Microsoft Research, Cambridge, UK

4. Constraint Programming
Lecturer: Roman Bartak, Charles University, Check Republic

The cost of attending the workshop is the standard FLoC'14 workshop
registration fee. However, A number of scholarships for students that
cover the registration fee as well as all local expenses for the
duration of the summer school are available. To apply, send a short vita
along with a letter of recommendation from the faculty advisor to
Prof. Gopal Gupta at ***@utdallas.edu by June 2nd. The letter should
also certify that the applicant is a full-time student.

Significant travel support is also available through the FLoC
organization. Visit http://vsl2014.at/floc14-travel-support/.