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: Adicionalmente, la EATCS también otorga, junto con la Association for Computing Machinery (ACM) el premio Premio Gödel, otorgado anualmente desde 1993.