2014 Summer School in Computational Logic (Part of FLoC'14 in Vienna)

        Association for Logic Programming

    2014 Summer School on Computational Logic

    http://utd.edu/~gupta/summer_school.html
           July 17-18, Vienna, Austria
     (Part of FLoC'14 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

The cost of attending the workshop is the standard FLoC'14 workshop
registration fee. However, A number of scholarships for students
that cover the registration fee as well as 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 [email protected] by June 2nd.
The letter should also certify that the applicant is a full-time student.

Significant travel support is also available through the FLoC organization.
Visit http://vsl2014.at/floc14-travel-support/.