Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 17-18 July 2014
Location: 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 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

Please note that this newsitem has been archived, and may contain outdated information or links.