LITP Spring School on Theoretical Computer Science

Semantics of Systems of Concurrent Processes 1990: La Roche Posay, France

Formal Properties of Finite Automata and Applications 1988: Ramatuelle, France

Electronic Dictionaries and Automata in Computational Linguistics 1987: Saint-Pierre d'Oléron, France

Automata Networks 1986: Angelès-Village, France

Combinators and Functional Programming Languages 1985: Val d'Ajol, France

Automata on Infinite Words 1984: Le Mont Dore, France