[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS] 3rd International Compulog/ALP Summer School on Logic Programming and Computational Logic
3rd International Compulog/ALP Summer School
Logic Programming and Computational Logic
Sponsored by CRA-W, CDC, ALP, Compulog Americas, NMSU
New Mexico State University
Las Cruces, NM, USA
July 24-27, 2008
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
* Theoretical Foundations of Logic Programming
[Miroslaw Truszczynski, U. of Kentucky]
* Answer Set Programming
[Torsten Schaub, U. of Potsdam]
* Implementation and Execution Models for Logic Programming
[Manuel Hermenegildo, Polytechnic Univ. of Madrid]
* Logic Programming and Multi-agent Systems
[Francesca Toni, Imperial College]
* Foundations of Constraint and Constraint Logic Programming
* Foundations of Semantic Web and Computational Logic
[Sheila McIlraith, University of Toronto]
Due to the limit on the number of slots available, we invite
interested student to submit an application for admission to
the summer school composed of the following items:
1. a one page statement of interest, explaining your
research background and what you expect to gain from
the summer school
2. a short (2-page) vitae
Applications should be submitted in electronic form to:
epontell@xxxxxxxxxxx and ipivkina@xxxxxxxxxxx
All submissions will be acknowledged with an email.
If you do not receive acknowledgement within 3 working days,
please email Enrico Pontelli (epontell@xxxxxxxxxxx).
The school is free of charge for all admitted applicants.
We will also provide lunches to all participants for the
duration of the summer school.
Several different types of grants will be available to
offset partially or totally the travel and lodging costs.
IMPORTANT: Thanks to the joint support of the Computing
Research Association Committee on the Status of Women in
Computing Research and the Coalition to Diversify Computing,
we have *several full scholarships* (i.e., travel and lodging)
for applicants who are MINORITY and/or WOMEN.
Partial grants covering lodging and meals will be provided
to other selected participants who requests them.
Students who wish to request a grant should contact via
email Enrico Pontelli (epontell@xxxxxxxxxxx) motivating the
Lodging will be available at local hotels; we will also provide
a number of affordable accomodations on the NMSU campus.
* Requests for student grants: April 19, 2008;
* Application for Admission: April 27, 2008;
* Notification of Admission and grants: May 5th, 2008;
* Summer School: July 24-27, 2008
* Enrico Pontelli, New Mexico State University, USA
* Inna Pivkina, New Mexico State University, USA
* Son Cao Tran, New Mexico State University, USA