European Association for Theoretical Computer Science

La European Association for Theoretical Computer Science (EATCS, en castellà «Associació europea per a l'informàtica teòrica») és una organisació internacional fundada en 1972, l'objectiu de la qual és facilitar l'intercanvi d'idees i resultats entre informàtics teòrics, aixina com estimular la cooperació entre les comunitats teòrica i pràctica de ciències de la computació.

Les principals activitats de la EATCS són:

• Organisar l'ICALP (International Colloquium on Automata, Languages and Programming, o Coloqui Internacional d'Autómates, Llenguages i Programació);
• Publicar una série de monogrames i texts relacionades en ciències de la computació;
• Publicar el Bolletí de la EATCS;
• Publicar la revista científica Theoretical Computer Science.

Cada any, el EATC entrega un premi (el EATCS Award) en reconeiximent a una carrera distinguida en les ciències de la computació teòrica. El primer premi va ser otorgat a Richard Karp en 2000, i la llista completa de guardonats des de llavors és la següent:

Any	Premiat	Lloc
2009	Gérard Huet	Rodas
2008	Leslie G. Valiant	Reykjavík
2007	Dana Scott	Breslavia
2006	Mike Paterson	Venècia
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

Adicionalment, la EATCS també otorga, junt en l'Association for Computing Machinery (ACM) el premi Premi Gödel, otorgat anualment des de 1993.