European Association for Theoretical Computer Science | ||
---|---|---|
Acrónimo | EATCS | |
Tipo | Organización científica internacional | |
Campo | ciencias de la computación | |
Industria | educación superior | |
Forma legal | activo | |
Objetivos | Estimular y difundir la actividad científica | |
Fundación | 1972 | |
Área de operación | Ciencias de la computación | |
Presidente | Artur Czumaj | |
Servicios | Publicaciones, Congresos y premios | |
Sitio web | http://www.eatcs.org | |
La European Association for Theoretical Computer Science (EATCS, en castellano «Asociación europea para la informática teórica») es una organización internacional fundada en 1972, cuyo objetivo es facilitar el intercambio de ideas y resultados entre informáticos teóricos, así como estimular la cooperación entre las comunidades teórica y práctica de ciencias de la computación.
Las principales actividades de la EATCS son:
Cada año, el EATC entrega un premio (el EATCS Award) en reconocimiento a una carrera distinguida en las ciencias de la computación teórica. El primer premio fue otorgado a Richard Karp en 2000, y la lista completa de galardonados desde entonces es la siguiente:
Año | Premiado | Lugar |
---|---|---|
2009 | Gérard Huet | Rodas |
2008 | Leslie G. Valiant | Reikiavik |
2007 | Dana Scott | Breslavia |
2006 | Mike Paterson | Venecia |
2005 | Robin Milner | Lisboa |
2004 | Arto Salomaa | Turku |
2003 | Grzegorz Rozenberg | Eindhoven |
2002 | Maurice Nivat | Málaga |
2001 | Corrado Böhm | Creta |
2000 | Richard Karp | Ginebra |
Adicionalmente, la EATCS también otorga, junto con la Association for Computing Machinery (ACM) el premio Premio Gödel, otorgado anualmente desde 1993.