Asociación Europea de Ciencias de la Computación Teórica

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 científicos de la computación teórica, así como estimular la cooperación entre la comunidad teórica y la práctica en ciencias de la computación .

Las principales actividades del EATCS son:

• Organización de ICALP , el Coloquio Internacional sobre Autómatas, Lenguajes y Programación ; ^{[ 2 ]}
• Publicación del Boletín de la EATCS ;
• Publicación de una serie de monografías ^{[ 3 ] [ 4 ]} y textos ^{[ 5 ]} sobre informática teórica ;
• Publicación de la revista Theoretical Computer Science ; ^{[ 2 ]}
• Publicación de la revista Fundamenta Informaticae .

Cada año, el Premio EATCS ^{[ 6 ]} se otorga en reconocimiento a una trayectoria destacada en la informática teórica. El primer premio se concedió a Richard Karp en el año 2000; la lista completa de ganadores se presenta a continuación:

Desde 2010, la Asociación Europea de Informática Teórica (EATCS) otorga anualmente en la conferencia ICALP el Premio Presburger a un joven científico (en casos excepcionales, a varios jóvenes científicos) por sus destacadas contribuciones en informática teórica, documentadas mediante un artículo publicado o una serie de artículos publicados. El premio lleva el nombre de Mojzesz Presburger, quien, siendo estudiante, realizó en 1929 su trabajo pionero sobre la decidibilidad de la teoría de la suma (conocida hoy como aritmética de Presburger). La lista completa de los ganadores ^{[ 7 ]} se presenta a continuación:

El Programa de Miembros Honorarios de EATCS ^{[ 8 ]} fue establecido por la Asociación para reconocer a los miembros destacados de EATCS por sus logros científicos en el campo de la Informática Teórica. El Comité de Selección de Miembros Honorarios de EATCS otorga esta distinción a personas con una trayectoria de liderazgo intelectual y organizativo dentro de la comunidad EATCS. ​​Se espera que los Miembros Honorarios sean "ciudadanos ejemplares" de la comunidad de Informática Teórica, contribuyendo a expandir el prestigio de esta disciplina más allá de sus fronteras.

El Boletín de la EATCS es una publicación informativa 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:

• EATCS importa;
• Información sobre el ICALP actual;
• contribuciones técnicas;
• columnas;
• encuestas y tutoriales;
• informes sobre conferencias;
• calendario de eventos;
• Informes sobre departamentos e institutos de informática;
• listados de informes y publicaciones técnicas;
• reseñas de libros;
• Problemas abiertos y soluciones;
• resúmenes de tesis doctorales;
• información sobre los visitantes en diversas instituciones; y
• Contribuciones e imágenes entretenidas relacionadas con la informática.

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 para Jóvenes Investigadores sobre temas de informática teórica. A continuación, se presenta una breve historia de estas escuelas.

• Lista de premios de informática

• Sitio web de la Asociación Europea de Ciencias de la Computación Teórica