32^nd Spring School in Theoretical Computer Science

Scope

The Spring School on Theoretical Informatics is an institution in the domain of theoretical informatics in France. For many years, the school has developed under the guidance of Maurice Nivat, covering a large spectrum of topics and establishing as an excellent meeting point for the new generations of researchers. In the last years, the school has acquired a european dimension attracting scholars from several countries. In 2004, the school will focus on Concurrency Theory and Applications. This area has been developing in the last forty years starting from work in formal languages, programming, mathematical logic, and control theory. Nowadays, the theory proceeds along a certain number of avenues such as net theory, process calculi, and modal logics. Many specialised or enriched models have been developed in order to cover a variety of applications such as synchronous, real time, and distributed systems.

Public

The school targets a public of doctoral students working in the areas of modelling, programming, and verification of concurrent systems as well as a public of confirmed researchers wishing to approach these areas.

Location

The school will be held at the Centre International de Rencontres Mathematiques (CIRM), located in the University Campus of Luminy, well connected to Marseille center, and within walking distance of the scenic area of Calanques. The center provides full boarding for participants as well as library and computing facilities.

Poster session

A poster session will be organised where PhD students may present their ongoing work. Interested students should send a one page abstract to Patricia Bouyer (patricia.bouyer@lsv.ens-cachan.fr) by January 31, 2004.

Registration

The capacity of the conference center is limited and therefore early registration is highly recommended. Informations on the registration procedure is available at http://www.cmi.univ-mrs.fr/epit32/registration.html. A limited number of grants for doctoral students and CNRS researchers are available.

Fees

Full boarding at CIRM is about 50-60 euro/day. We have few grants for students needing financial support. We can only support local expenses at CIRM.

Rates for participants to CIRM conferences:
 
 

CIRM Day (single room, 3 meals)	60 euros
CIRM Day (double room, 3 meals)	52 euros
meal	9 euros
breakfast	3,50 euros
single room	38,50 euros
double room	30,50 euros

Members of SMF/SMAI will be granted 10% rebate from the above rates.
 

Participants who work in a french institution depending from state (essentially members of CNRS or coming from french universities) and who, at the same time, have been granted a number of free CIRM-days, will have to give an "Ordre de mission sans frais" concerning their local expenses. If this form is not available at the time of the meeting, they will have to leave a check corresponding to the cost of their stay (this check will be destroyed when the above form is made available, otherwise it will be cashed after some time).

Payment for living expenses is requested on tuesday between 2 and 4 P.M.

VISA and MASTERCARD are accepted.