[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).

Student grants
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.

Important dates

    * 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