La Asociación Europea de Ciencias de la Computación Teórica ( EATCS [1] ) es una organización internacional con enfoque europeo , fundada en 1972. Su objetivo es facilitar el intercambio de ideas y resultados entre los científicos informáticos teóricos, así como estimular la cooperación entre la comunidad teórica y práctica en ciencias de la computación .
Las principales actividades del EATCS son:
Cada año, el premio EATCS [6] se otorga en reconocimiento a una trayectoria destacada en el campo de la informática teórica. El primer premio se otorgó a Richard Karp en 2000; la lista completa de ganadores se muestra a continuación:
Desde 2010, la Asociación Europea de Informática Teórica (EATCS) otorga cada año en la conferencia ICALP el Premio Presburger a un joven científico (en casos excepcionales a varios científicos jóvenes) por contribuciones destacadas en informática teórica, documentadas por un artículo publicado o una serie de artículos publicados. El premio recibe el nombre de Mojzesz Presburger, quien realizó su trabajo pionero sobre la decidibilidad de la teoría de la adición (que hoy se llama aritmética de Presburger) cuando era estudiante en 1929. La lista completa de los ganadores [7] se muestra a continuación:
El Programa de Becarios de la EATCS [8] ha sido establecido por la Asociación para reconocer a los Miembros destacados de la EATCS por sus logros científicos en el campo de la Informática Teórica. El Comité de Selección de Becarios de la EATCS otorga el estatus de Becario a una persona con una trayectoria de liderazgo intelectual y organizativo dentro de la comunidad de la EATCS. Se espera que los becarios sean “ciudadanos modelo” de la comunidad de la TCS, que ayuden a desarrollar la reputación de la TCS más allá de las fronteras de la comunidad.
El Boletín de la EATCS es un boletín informativo de la EATCS que se publica en línea tres veces al año en febrero, junio y octubre respectivamente. El Boletín es un medio para la publicación rápida y la amplia distribución de material como:
Desde 2021 su redactor jefe es Stefan Schmid (TU Berlín).
A partir de 2014, la Asociación Europea de Informática Teórica (EATCS) creó una serie de Escuelas de Jóvenes Investigadores sobre temas relacionados con la informática teórica. A continuación, se incluye una breve historia de las escuelas.