32^nd Spring School in Theoretical Computer Science

Welcome!

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.

Scientific and organising committee

• Roberto Amadio, LIF, Marseille
• Patricia Bouyer, LSV, Cachan
• Paul Gastin, LIAFA, Paris
• Rémi Morin, LIF, Marseille
• Philippe Schnoebelen, LSV, Cachan
• Igor Walukiewicz, LaBRI, Bordeaux
• Pascal Weil, LaBRI, Bordeaux
• Marc Zeitoun, LIAFA, Paris

Sponsors

The school is supported by:

• Laboratoire Bordelais de Recherche en Informatique (LaBRI)
• Laboratoire d'Informatique Algorithmique, Fondements et Applications (LIAFA)
• Laboratoire d'Informatique Fondamentale de Marseille (LIF)
• Laboratoire Spécification et Vérification (LSV)
• Games and Automata for Synthesis and Validation (GAMES)
• Centre National de la Recherche Scientifique (CNRS)
• GDR Algorithmique, Langage et Programmation (GDR ALP)
• GDR Architecture, Réseaux et systèmes, Parallélisme (GDR ARP)
• École doctorale en mathématiques et informatique de Marseille (ED 184)
• Université de Provence (UP)

.

.

.