EATCS
Asociación Europea de Ciencias de la Computación Teórica (del inglés "Asociación Europea de Ciencias de la Computación Teórica"), abbr. EATCS [1] es una organización internacional con orientación europea , constituida en 1972. Su propósito es promover el intercambio de ideas y resultados del trabajo entre teóricos de la informática y estimular la interacción entre teóricos y profesionales de la informática .
Las principales actividades de la organización EATCS son:
- Organización de la conferencia ICALP (“International Colloquium on Automata, Languages and Programming”, del inglés “International Colloquium on Automata, Languages and Programming”); [2]
- Publicación de una serie de monogramas [3] [4] y artículos [5] sobre informática teórica ;
- Publicación del Boletín de la EATCS ;
- Edición de la revista Informática Teórica ; [2]
- Edición de la revista Fundamenta Informaticae .
Premio EATCS
Cada año, la asociación entrega el premio EATCS [6] en reconocimiento a una brillante carrera en informática teórica. El primer premio fue otorgado a Richard Karp en 2000; La lista completa de ganadores se encuentra a continuación:
| Año | Laureado | Lugar |
|---|---|---|
| 2018 | Noam Nisan (Noam Nisan) | ICALP ( Praga ) |
| 2017 | Eva Tardos | ICALP ( Varsovia ) |
| 2016 | Dexter Kozen (Dexter Kozen) | ICALP ( Roma ) |
| 2015 | Christos Papadimitriou | ICALP ( Kioto ) |
| 2014 | Gordon _ | ICALP ( Copenhague ) |
| 2013 | Martin Dyer (Martin Dyer) | ICALP ( Riga ) |
| 2012 | Moshe Vardi | ICALP ( Warwick ) |
| 2011 | Boris Trakhtenbrot | ICALP ( Zúrich ) |
| 2010 | Kurt Mehlhorn (Kurt Mehlhorn) | ICALP ( Burdeos ) |
| 2009 | Gerardo Huet | ICALP ( Rodas ) |
| 2008 | Leslie G. Valiente | ICALP ( Reikiavik ) |
| 2007 | dana s scott | ICALP ( Breslavia ) |
| 2006 | Patterson, Mike Stewart (Mike Paterson) | ICALP ( Venecia ) |
| 2005 | petirrojo milner | ICALP ( Lisboa ) |
| 2004 | Arto Salomaa | ICALP ( Turku ) |
| 2003 | Grzegorz Rozenberg (Grzegorz Rozenberg) | ICALP ( Eindhoven ) |
| 2002 | maurice nivat | ICALP ( Málaga ) |
| 2001 | Corrado Böhm | ICALP ( Creta ) |
| 2000 | ricardo karpe | ICALP ( Ginebra ) |
Premio Pressburger
Desde 2010, la Asociación Europea de Ciencias de la Computación Teórica (EATCS) durante la conferencia ICALP otorga el Premio Presburger a un científico joven (en casos especiales, varios científicos jóvenes) por una contribución destacada a la informática teórica, documentada por una obra o serie de obras publicadas. El premio lleva el nombre de Mojzesz Presburger , quien, como estudiante, escribió un trabajo innovador en 1929 sobre la decidibilidad de la teoría de la suma (hoy llamada aritmética de Presburger ). La lista completa de laureados se encuentra a continuación:
| Año | Laureado | Lugar |
|---|---|---|
| 2018 | Alexander Madry (Aleksander Madry) | ICALP ( Praga ) |
| 2017 | Alexandra Silva (Alexandra Silva) | ICALP ( Varsovia ) |
| 2016 | marca braverman | ICALP ( Roma ) |
| 2015 | Xi Chen (Xi Chen) | ICALP ( Kioto ) |
| 2014 | David Woodruff (David Woodruff) | ICALP ( Copenhague ) |
| 2013 | Erik Demaine (Erik Demaine) | ICALP ( Riga ) |
| 2012 | Venkatesan Guruswami (Venkatesan Guruswami), Mihai Patrascu (Mihai Patrascu) | ICALP ( Warwick ) |
| 2011 | Patricia Bouyer-Decitre (Patricia Bouyer-Decitre) | ICALP ( Zúrich ) |
| 2010 | Mikolaj Boyanczyk (Mikołaj Bojańczyk) | ICALP ( Burdeos ) |
Miembros de honor de la comunidad científica de la EATCS
El Programa de Membresía Honoraria de EATCS [7] fue iniciado por la asociación para reconocer a los miembros destacados de EATCS por sus contribuciones científicas a la informática teórica. El estatus de miembro honorario lo otorga un comité especial de la EATCS si el candidato tiene un número suficiente de logros en las actividades intelectuales y organizativas de la comunidad de la EATCS. Los miembros honorarios son los "ciudadanos de referencia" de la comunidad TCS, lo que ayuda a aumentar el peso de la informática teórica en sociedades fuera de la comunidad TCS.
| Año de nominación | Miembros de honor de la comunidad científica EACTS |
|---|---|
| 2019 | Fedor Fomin (Fedor Fomin), Rocco de Nicola (Rocco de Nicola), Dana Ron (Dana Ron) |
| 2018 | Jiri Adamek (Jiri Adamek), Stefan Leonardi (Stefan Leonardi) |
| 2017 | Josep Díaz , Marta Kwiatkowska Aravind Srinivasan Moti |
| 2016 | Zoltán Esik David Harel Giuseppe F. Italiano Kurt |
| 2015 | Mariangiola Dezani-Ciancaglini A. Henzinger Dexter Kozen , Moshe Y. Vardi |
| 2014 | Susanne Albers Giorgio Ausiello Wilfried Brauer Herbert Edelsbrunner Mike , Yuri Gurevich , Monika , Jean- Eric , Paul Wolfgang Thomas |
Textos de trabajos de informática teórica
Boletín EATCS
Tres ediciones del boletín se publican anualmente - en febrero, junio y octubre. El Boletín es un medio para la publicación rápida y amplia cobertura de los siguientes materiales:
- varias preguntas de la EATCS;
- información sobre el ICALP vigente;
- artículos técnicos;
- encabezamientos;
- encuestas y beneficios;
- informes de conferencias;
- calendario de eventos;
- informe sobre departamentos e institutos de informática;
- listas de informes técnicos y publicaciones;
- reseñas de libros;
- problemas abiertos y soluciones;
- anotaciones de tesis doctorales;
- información sobre visitantes a varias instituciones; y
- artículos e imágenes de entretenimiento relacionados con la informática.
Desde 2013, su editor en jefe es Kazuo Iwama (Kazuo Iwama).
Escuela de Jóvenes Investigadores de la EATCS
Desde 2014, la Asociación Europea de Ciencias de la Computación Teórica (EATCS) ha fundado varias Escuelas de Jóvenes Investigadores sobre diversos temas de la informática. A continuación se muestra una breve historia de la escuela:
| Año | Descripción | Lugar |
|---|---|---|
| 2017 | ProbProgSchool 2017 - 1ra escuela sobre los conceptos básicos de programación y sistemas de software. Programación probabilística. | Braga , Portugal |
| 2015 | 2ª Escuela de Jóvenes Investigadores EATCS - explicando los conceptos de complejidad computacional y concurrencia a través de la topología de datos. | Camerino , Italia |
| 2014 | 1ª Escuela de Jóvenes Investigadores EATCS - Autómatas, lógica y juegos | Telc , República Checa |
Notas
- ↑ ¿Qué significa la abreviatura EATCS? European Association of Theoretical Computer Science Archivado el 14 de enero de 2019 en Wayback Machine , Búsqueda de abreviaturas Archivado el 2 de octubre de 2019 en Wayback Machine .
- ↑ 1 2 Brouwer, Ute; Wilfried Brouwer : Asociación Europea de Ciencias de la Computación Teórica / Acerca de la Asociación / Jubileo de plata de EATCS Archivado el 13 de febrero de 2019 en Wayback Machine .
- ↑ Monogramas sobre informática teórica. Serie EATCS Archivado el 13 de febrero de 2019 en Wayback Machine , Springer-Verlag .
- ↑ Monogramas sobre informática terética. Serie EATCS Archivado el 24 de septiembre de 2014 en Wayback Machine , DBLP .
- ↑ Textos de trabajos sobre informática teórica. Serie EATCS Archivado el 13 de febrero de 2019 en Wayback Machine , Springer-Verlag .
- ↑ Premio EATCS Archivado el 26 de enero de 2011 en Wayback Machine , Asociación Europea de Informática Teórica.
- ↑ EATCS Fellows Archivado el 29 de agosto de 2016 en la Wayback Machine European Association for Theoretical Computer Science.
Enlaces
- eatcs.org - sitio web oficial de la EATCS
 |
| |||
|---|---|---|---|---|