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:

Adicionalmente, la EATCS también otorga, junto con la Association for Computing Machinery (ACM) el premio Premio Gödel, otorgado anualmente desde 1993.

• Sitio oficial