3rd International Compulog/ALP Summer School on Logic Programming and Computational Logic
Sponsored by CRA-W, CDC, ALP, Compulog Americas, NMSU
http://www.cs.nmsu.edu/~ipivkina/compulog.htm
------
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 topics:
* 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 [TBA] * Foundations of Semantic Web and Computational Logic [Sheila McIlraith, University of Toronto]
Registration ------------ 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(a)cs.nmsu.edu and ipivkina(a)cs.nmsu.edu
All submissions will be acknowledged with an email. If you do not receive acknowledgement within 3 working days, please email Enrico Pontelli (epontell(a)cs.nmsu.edu).
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 *women* applicants.
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(a)cs.nmsu.edu) motivating the request.
Lodging ------- 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 15, 2008; * Application for Admission: April 25, 2008; * Notification of Admission and grants: May 1st, 2008; * Summer School: July 24-27, 2008
Organizers ---------- * Enrico Pontelli, New Mexico State University, USA * Inna Pivkina, New Mexico State University, USA * Karen Villaverde, New Mexico State University, USA * Son Cao Tran, New Mexico State University, USA
============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------