LITP

LITP Spring School on Theoretical Computer Science

Search within this conference

Search

1. 1990

   LITP 1990

   • 23-27 April
   • La Roche Posay, France

   • Semantics of Systems of Concurrent Processes

     19 Papers

     1 Volume

2. 1988

   LITP 1988

   • 23-27 May
   • Ramatuelle, France

   • Formal Properties of Finite Automata and Applications

     18 Papers

     1 Volume

3. 1987

   LITP 1987

   • 25-29 May
   • Saint- Pierre d'Oleron, France

   • Electronic Dictionaries and Automata in Computational Linguistics

     7 Papers

     1 Volume

4. 1986

   LITP 1986

   • 12-16 May
   • Argeles-Village, France

   • Automata Networks

     9 Papers

     1 Volume

5. 1985

   LITP 1985

   • 6-10 May
   • Val d'Ajol, France

   • Combinators and Functional Programming Languages

     9 Papers

     1 Volume

6. 1984

   LITP 1984

   • 14-18 May
   • Le Mont-Dore, France

   • Automata on Infinite Words

     18 Papers

     1 Volume