3rd International Compulog/ALP Summer School on

Logic Programming and Computational Logic

New Mexico State University

Las Cruces, NM, USA

July 24-27, 2008

Organized by: COMPULOG Americas and ALP



Important dates



Slides from Presentations


Hotel and travel information


Registration is now closed

Previous Summer Schools


Las Cruces attractions





The third international summer school in Logic Programming and Computation Logic will be held on the campus of New Mexico State University in beautiful Las Cruces, New Mexico. The summer school is intended for graduate students, post-doctoral students, young researchers, and programmers interested in constraints, logic programming, computational logic and their applications. The lectures will be given by internationally renowned researchers who have made significant contributions to the advancement of these disciplines. The summer school is a good opportunity for quickly acquiring background knowledge on important areas of computational logic. The summer school is especially directed to Ph.D. students who are just about to start research. Exceptional undergraduate students in their senior year are also encouraged to attend.

The summer school will consist of six 1/2 day tutorials on the following topics:

  • Theoretical Foundations of Logic Programming by Miroslaw Truszczynski (University of Kentucky)
  • Answer Set Programming by Torsten Schaub (Universitšt Potsdam)
  • Implementation and Execution Models for Logic Programming by Manuel Hermenegildo (T.U. of Madrid)
  • Logic Programming and Multi-agent Systems by Francesca Toni (Imperial College London)
  • Foundations of Constraint and Constraint Logic Programming by Brent Venable (University of Padova) 
  • Foundations of Semantic Web and Computational Logic  by Sheila McIlraith (University of Toronto)


Several scholarships are available for students. 

Registration and scholarship applications are now closed.


Enrico Pontelli, Inna Pivkina, Son Cao Tran


NSF, CRA-W, CDC, ALP, Compulog Americas, NMSU