European Association for Theoretical Computer Science
Un article de Wikipédia, l'encyclopédie libre.
European Association for Theoretical Computer Science (EATCS, en français : Association européenne pour l'informatique théorique) est une organisation européenne fondée en 1972. Son objectif est de faciliter l'échange des idées et les résultats dans la communauté des chercheurs en informatique théorique. Elle vise aussi à stimuler la coopération entre les communautés qui font de l'informatique théorique et celles faisant de l'informatique « pratique ».
Les principales activités d'EATCS sont :
- Organisation du congrès International Colloquium on Automata, Languages and Programming (ICALP);
- Publication de textes sur l'informatique théorique ;
- Publication du journal Theoretical Computer Science.
[modifier] Prix EATCS
Chaque année depuis 2000, EATCS décerne un prix (le EATCS Award) à un chercheur pour sa brillante carrière en informatique théorique. La liste des vainqueurs est donnée dans le tableau ci-dessous :
| Année | Récipiendaire | Lieu de la conférence |
|---|---|---|
| 2011 | Boris Trakhtenbrot | ICALP (Zurich) |
| 2010 | Kurt Melhorn | ICALP (Bordeaux) |
| 2009 | Gérard Huet | ICALP (Rhodes) |
| 2008 | Leslie Valiant | ICALP (Reykjavik) |
| 2007 | Dana S. Scott | ICALP (Wrocław) |
| 2006 | Mike Paterson | ICALP (Venise) |
| 2005 | Robin Milner | ICALP (Lisbonne) |
| 2004 | Arto Salomaa | ICALP (Turku) |
| 2003 | Grzegorz Rozenberg | ICALP (Eindhoven) |
| 2002 | Maurice Nivat | ICALP (Málaga) |
| 2001 | Corrado Böhm | ICALP (Crète) |
| 2000 | Richard Karp | ICALP (Genève) |
