Отправляет email-рассылки с помощью сервиса Sendsay
  Все выпуски  

Система компьютерной алгебры GAP - Compulog/ALP Summer School


Computational Logic

SCHOLARSHIPS AVAILABLE!!


     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 at cs dot nmsu dot edu

and

    ipivkina at cs dot nmsu dot edu

All submissions will be acknowledged with an email.
If you do not receive acknowledgement within 3 working days,
please email Enrico Pontelli (epontell at cs dot nmsu dot 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 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 at cs dot nmsu dot 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 19, 2008;
   * Application for Admission:   April 27, 2008;
   * Notification of Admission and grants: May 5th, 2008;
   * Summer School: July 24-27, 2008

Organizers
----------
   * Enrico Pontelli, New Mexico State University, USA
   * Inna Pivkina, New Mexico State University, USA
   * Son Cao Tran, New Mexico State University, USA


В избранное