Students and researchers interested in topics 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 (Angelika Kimmig), Answer Set Programming (Martin Gebser), Horn Clauses and Verification (Andrey Rybalchenko), and Constraint Logic Programming (Roman Bartak).

People interested in attending the summer school should register for the CICLOPS/WLPE workshop under ICLP.

A number of scholarships for students that cover local expenses for the duration of the summer school are available. To apply for these scholarships, send the following information to Prof. Gopal Gupta at gupta@utdallas.edu by May 31st. The

• A short vita of the applicant.
• A letter of recommendation from applicant's faculty advisor.
• A one paragraph statement outlining how the summer school will benefit the applicant.

The letter from the advisor should also certify that the applicant is a full-time student.

Significant travel support is also available through the FLoC organization.

Schedule: All Lectures are in Seminarraum 1/3 OPG, next to Freihaus (Operngasse 11, 1040 Vienna, 3rd floor)

Organization