Ir al contenido

European Association for Theoretical Computer Science

De Wikipedia, la enciclopedia libre
Esta es la versión actual de esta página, editada a las 14:05 3 sep 2020 por Elías (discusión · contribs.). La dirección URL es un enlace permanente a esta versión.
(difs.) ← Revisión anterior · Ver revisión actual (difs.) · Revisión siguiente → (difs.)
European Association for Theoretical Computer Science
Acrónimo EATCS
Tipo Organización científica internacional
Campo ciencias de la computación
Industria educación superior
Forma legal activo
Objetivos Estimular y difundir la actividad científica
Fundación 1972
Área de operación Ciencias de la computación
Presidente Artur Czumaj
Servicios Publicaciones, Congresos y premios
Sitio web http://www.eatcs.org

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:

Año Premiado Lugar
2009 Gérard Huet Rodas
2008 Leslie G. Valiant Reikiavik
2007 Dana Scott Breslavia
2006 Mike Paterson Venecia
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

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

Referencias

[editar]

Enlaces externos

[editar]