European Association for Theoretical Computer Science

From Wikipedia, the free encyclopedia
  (Redirected from EATCS)
Jump to: navigation, search
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:

EATCS Award[edit]

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)

Texts in Theoretical Computer Science[edit]

References[edit]

External links[edit]