EATCS Award

EATCS annually honors a respected scientist from our community with the prestigious EATCS Distinguished Achievements Award. The award is given to acknowledge extensive and widely recognized contributions to theoretical computer science over a life long scientific career.

 

For the EATCS Award 2012, candidates may be nominated to the Awards Committee

consisting of

 

Leslie Ann Goldberg (Liverpool Univ.)
Friedhelm Meyer auf der Heide (Paderborn Univ.)
Eugenio Moggi (Genova Univ.)

 

 

Nominations will be kept strictly confidential. They should include supporting justification and be sent by
e-mail to the chairman of the EATCS Awards Committee:
 
 
Eugenio Moggi
DISI, Univ. di Genova
Genova, Italy
Email: This e-mail address is being protected from spambots. You need JavaScript enabled to view it
 
 
by 31st December 2011.

 

The decision has been unanimously approved by the EATCS Council.

 

The Award will be assigned during a ceremony that will take place in Warwick (UK) during ICALP 2012 (July 9-13, 2012).


A brief history of the EATCS Award follows below.

 
 

2011 / Boris (Boaz) Trakhtenbrot

Place: ICALP (Zürich)

"Laudation"

Photos from ICALP 2011 by Manfred Kudlek
 
 
 
 

2010 / Kurt Mehlhorn

Place: ICALP (Bordeaux)

"Laudation"

Photos from ICALP 2010 by Manfred Kudlek
 
 
 
 

2009 / Gérard Huet

Place: ICALP (Rhodes)

"Laudation" 

 
Photos from ICALP 2009 by Manfred Kudlek
 
 
 
 

2008 / Leslie G. Valiant

Place: ICALP (Reykjavik)

"Laudation"

 
 
 
 
 

2007 / Dana S. Scott

Place: ICALP (Wroclaw)

 
 
 
 

2006 / Mike Paterson

Place: ICALP (Venice)


Photos from ICALP 2006
 
 
 
 

2005 / Robin Milner

Place: ICALP (Lisboa)
 
 
 
 

2004 / Arto Salomaa

Place: ICALP (Turku)


 
 
 
 

2003 / Grzegorz Rozenberg

Place: ICALP (Eindhoven)

 
 
 
 

2002 / Maurice Nivat

Place: ICALP (Málaga)
 
 
 
 

2001 / Corrado Böhm

Place: ICALP (Creta)
 
 
 
 

2000 / Richard Karp

Place: ICALP (Geneva)
 
 
 
European Association for Theoretical Computer Science - Maintained and hosted by RU1 / CTI.