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
A number of scholarships for students that cover 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 gupta(a)utdallas.edu by June 2nd. The letter should also certify that the applicant is a full-time student. Non-students can attend the summer school by paying the standard fee for a 2-day FLoC workshop.
Significant travel support is also available through the FLoC organization. Visit http://vsl2014.at/floc14-travel-support/.