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

Schedule

 

Slides from Presentations

 

Hotel and travel information

 

Registration is now closed


Previous Summer Schools

 

Las Cruces attractions

 

Sponsors

Contact

 


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.

Organizers

Enrico Pontelli, Inna Pivkina, Son Cao Tran

 

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