|
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
|
|
