European Association for Theoretical Computer Science

European Association for Theoretical Computer Science
Acrónimo	EATCS
Tipo	Organización científica internacional
Campo	ciencias de la computación
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
	[editar datos en Wikidata]

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:

Organizar el ICALP (International Colloquium on Automata, Languages and Programming, o Coloquio Internacional de Autómatas, Lenguajes y Programación);
Publicar una serie de monogramas y textos relacionadas con ciencias de la computación;
Publicar el Boletín de la EATCS;
Publicar la revista científica Theoretical Computer Science.^[1]

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.