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 [email protected] by May 31st. The
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.
|Gopal Gupta||University of Texas at Dallas|
|Manuel Carro||UPM and IMDEA|
|Hai-Feng Guo||University of Nebraska at Omaha|