European Association for Theoretical Computer Science
EATCS logo
The European Association for Theoretical Computer Science (EATCS[1]) is an international organization with a European focus, 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;[2]
- Publication of a series of monographs[3][4] and texts[5] on theoretical computer science;
- Publication of the Bulletin of the EATCS;
- Publication of the journal Theoretical Computer Science;[2]
- Publication of the journal Fundamenta Informaticae.
EATCS Award
Each year, the EATCS Award[6] 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 |
|---|---|---|
| 2014 | Gordon Plotkin (to be awarded) | ICALP (Copenhagen) |
| 2013 | Martin Dyer | ICALP (Riga) |
| 2012 | Moshe Vardi | ICALP (Warwick) |
| 2011 | Boris Trakhtenbrot | ICALP (Zurich) |
| 2010 | Kurt Mehlhorn | ICALP (Bordeaux) |
| 2009 | Gérard Huet | ICALP (Rhodes) |
| 2008 | Leslie G. Valiant | ICALP (Reykjavík) |
| 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) |
References
- ↑ What does EATCS stand for? European Association of Theoretical Computer Science, Acronym Finder.
- ↑ 2.0 2.1 Brauer, Ute; Brauer, Wilfried: European Association for Theoretical Computer Science / About the Association / Silver Jubilee of EATCS
- ↑ Monographs in Theoretical Computer Science. An EATCS Series, Springer-Verlag.
- ↑ Monographs in Theoretical Computer Science. An EATCS Series, DBLP.
- ↑ Texts in Theoretical Computer Science. An EATCS Series, Springer-Verlag.
- ↑ EATCS Award, European Association for Theoretical Computer Science.