17-18 July 2014, 2014 Summer School on Computational Logic, Vienna, Austria

Students 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: Probabilistic Logic Programming (C.R. Ramakrishnan), Answer Set Programming (Martin Gebser), Horn Clauses and Verification (Andrey Rybalchenko), and Constraint Logic Programming (Roman Bartak).

A number of scholarships for students that cover local expenses for the duration of the summer school are available. To apply, send a short vita along with a letter of recommendation for the faculty advisor to Prof. Gopal Gupta at gupta at utdallas.edu by May 31st. The letter should also certify that the applicant is a full-time student. Significant travel support is also available through the FLoC organization.

For more information, see http://utd.edu/~gupta/summer_school.html