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 informáticos teóricos, así como estimular la cooperación entre los teóricos y la comunidad práctica en informática .
Las principales actividades de la EATCS son:
- Organización de ICALP , Coloquio Internacional sobre Autómatas, Lenguajes y Programación ; [2]
- Publicación de una serie de monografías [3] [4] y textos [5] sobre informática teórica ;
- Publicación del Boletín de la EATCS ;
- Publicación de la revista Theoretical Computer Science ; [2]
- Publicación de la revista Fundamenta Informaticae .
Premio EATCS
Cada año, el premio EATCS [6] se otorga en reconocimiento a una carrera distinguida en informática teórica. El primer premio fue asignado a Richard Karp en 2000; la lista completa de los ganadores se da a continuación:
Año | Galardonado | Lugar |
---|---|---|
2021 | Toniann Pitassi | ICALP ( Glasgow ) |
2020 | Mihalis Yannakakis | ICALP ( Saarbrücken ) |
2019 | Thomas Henzinger | ICALP ( Patras ) |
2018 | Noam Nisan | ICALP ( Praga ) |
2017 | Éva Tardos | ICALP ( Varsovia ) |
2016 | Dexter Kozen | ICALP ( Roma ) |
2015 | Christos Papadimitriou | ICALP ( Kioto ) |
2014 | Gordon Plotkin | ICALP ( Copenhague ) |
2013 | Martin Dyer | ICALP ( Riga ) |
2012 | Moshe Vardi | ICALP ( Warwick ) |
2011 | Boris Trakhtenbrot | ICALP ( Zúrich ) |
2010 | Kurt Mehlhorn | ICALP ( Burdeos ) |
2009 | Gérard Huet | ICALP ( Rodas ) |
2008 | Leslie G. Valiente | ICALP ( Reikiavik ) |
2007 | Dana S. Scott | ICALP ( Wroclaw ) |
2006 | Mike Paterson | ICALP ( Venecia ) |
2005 | Robin Milner | ICALP ( Lisboa ) |
2004 | Arto Salomaa | ICALP ( Turku ) |
2003 | Grzegorz Rozenberg | ICALP ( Eindhoven ) |
2002 | Maurice Nivat | ICALP ( Málaga ) |
2001 | Corrado Böhm | ICALP ( Creta ) |
2000 | Richard Karp | ICALP ( Ginebra ) |
Premio Presburger
A partir de 2010, la Asociación Europea de Ciencias de la Computación 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 sus destacadas contribuciones en informática teórica, documentadas por un artículo publicado. o una serie de artículos publicados. El premio lleva el nombre de Mojzesz Presburger, quien realizó su trabajo pionero sobre la decidibilidad de la teoría de la suma (que hoy se llama aritmética de Presburger) como estudiante en 1929. La lista completa de los ganadores [7] se da a continuación:
Año | Galardonado | Lugar |
---|---|---|
2021 | Shayan Oveis Gharan | ICALP ( Glasgow ) |
2020 | Dmitriy Zhuk | ICALP ( Saarbrücken / en línea) |
2019 | Karl Bringmann , Kasper Green Larsen | ICALP ( Patras ) |
2018 | Aleksander Mądry | ICALP ( Praga ) |
2017 | Alexandra Silva | ICALP ( Varsovia ) |
2016 | Mark Braverman | ICALP ( Roma ) |
2015 | Xi Chen | ICALP ( Kioto ) |
2014 | David Woodruff | ICALP ( Copenhague ) |
2013 | Erik Demaine | ICALP ( Riga ) |
2012 | Venkatesan Guruswami , Mihai Patrascu | ICALP ( Warwick ) |
2011 | Patricia Bouyer-Decitre | ICALP ( Zúrich ) |
2010 | Mikołaj Bojańczyk | ICALP ( Burdeos ) |
Becarios EATCS
El programa de becarios EATCS [8] ha sido 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 becarios de EATCS confiere el estatus de becario a una persona que tenga un historial de liderazgo intelectual y organizativo dentro de la comunidad de EATCS. Se espera que los becarios sean “ciudadanos modelo” de la comunidad TCS, ayudando a desarrollar la posición de TCS más allá de las fronteras de la comunidad.
Galardonado | Año reconocido |
---|---|
Jiri Adamek | 2018 |
Susanne Albers | 2014 |
Giorgio Ausiello | 2014 |
Wilfried Brauer | 2014 |
Pierpaolo Degano | 2020 |
Mariangiola Dezani-Ciancaglini | 2015 |
Josep Díaz | 2017 |
Herbert Edelsbrunner | 2014 |
Zoltán Ésik | 2016 |
Becarios Mike | 2014 |
Fedor Fomin | 2019 |
Yuri Gurevich | 2014 |
Mohammad Hajiaghayi | 2020 |
Magnús M. Halldórsson | 2020 |
David Harel | 2016 |
Monika Henzinger | 2014 |
Thomas A. Henzinger | 2015 |
Giuseppe F. Italiano | 2016 |
Dexter Kozen | 2015 |
Marta Kwiatkowska | 2017 |
Stefan Leonardi | 2018 |
Kurt Mehlhorn | 2016 |
Rocco de Nicola | 2019 |
Pin de Jean-Éric | 2014 |
Dana Ron | 2019 |
Paul Spirakis | 2014 |
Aravind Srinivasan | 2017 |
Wolfgang Thomas | 2014 |
Moshe Y. Vardi | 2015 |
Moti Yung | 2017 |
Textos en informática teórica
Boletín EATCS
Anualmente se publican tres números del Boletín que aparecen en febrero, junio y octubre, respectivamente. El Boletín es un medio de publicación rápida y amplia distribución de material como:
- Asuntos de EATCS;
- información sobre la 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 técnicos y publicaciones;
- reseñas de libros;
- problemas abiertos y soluciones;
- resúmenes de tesis doctorales;
- información sobre visitantes en diversas instituciones; y
- entretenidas contribuciones e imágenes relacionadas con la informática.
Desde 2013, su editor en jefe es Kazuo Iwama .
Escuelas de jóvenes investigadores de EATCS
A partir de 2014, la Asociación Europea de Ciencias de la Computación Teórica (EATCS) estableció una serie de Escuelas de Jóvenes Investigadores sobre temas de TCS. A continuación se incluye una breve historia de las escuelas.
Año | Tipo | Lugar |
---|---|---|
2017 | ProbProgSchool 2017 - 1ra Escuela de Fundamentos de Programación y Sistemas de Software. Programación probabilística | Braga , Portugal |
2015 | 2a Escuela de Jóvenes Investigadores EATCS - Comprensión de la COMPLEJIDAD y CONCURRENCIA a través de la TOPOLOGÍA de los DATOS | Camerino , Italia |
2014 | 1a Escuela de Jóvenes Investigadores EATCS - Autómatas, Lógica y Juegos | Telč , República Checa |
Ver también
- Lista de premios de informática
Referencias
- ^ ¿Qué significa EATCS? Asociación Europea de Informática Teórica , Acronym Finder .
- ^ a b Brauer, Ute; Brauer, Wilfried : Asociación Europea de Ciencias de la Computación Teórica / Acerca de la Asociación / Jubileo de Plata de EATCS
- ^ Monografías en informática teórica. Una serie EATCS , Springer-Verlag .
- ^ Monografías en informática teórica. Una serie EATCS , DBLP .
- ^ Textos en informática teórica. Una serie EATCS , Springer-Verlag.
- ^ Premio EATCS , Asociación europea de informática teórica.
- ^ "Premio Presburger" . Asociación Europea de Informática Teórica . Consultado el 23 de julio de 2020 .
- ^ Asociación europea de becarios de EATCS para la informática teórica.
enlaces externos
- Sitio web de la Asociación Europea de Ciencias de la Computación Teórica