European Association for Theoretical Computer Science
Appearance
The European Association for Theoretical Computer Science (EATCS) is an international organization founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as to stimulate cooperation between the theoretical and the practical community in computer science.
The major activities of the EATCS are:
- Organization of ICALP, the International Colloquium on Automata, Languages and Programming;
- Publication of a series of monographs and texts on theoretical computer science;
- Publication of the journal Theoretical Computer Science.
Each year, the EATCS Award is awarded in recognition of a distinguished career in theoretical computer science. The first award was assigned to Richard Karp in 2000; the complete list of the winners is given below:
Year | Awarded | Place |
---|---|---|
2009 | Gérard Huet | ICALP (Rhodes) |
2008 | Leslie G. Valiant | ICALP (Reykjavik) |
2007 | Dana S. Scott | ICALP (Wroclaw) |
2006 | Mike Paterson | ICALP (Venice) |
2005 | Robin Milner | ICALP (Lisboa) |
2004 | Arto Salomaa | ICALP (Turku) |
2003 | Grzegorz Rozenberg | ICALP (Eindhoven) |
2002 | Maurice Nivat | ICALP (Málaga) |
2001 | Corrado Böhm | ICALP (Creta) |
2000 | Richard Karp | ICALP (Geneva) |