Menu
Home Explore People Places Arts History Plants & Animals Science Life & Culture Technology
On this page
European Association for Theoretical Computer Science
Organization

The European Association for Theoretical Computer Science (EATCS) is an international organization with a European focus, founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as to stimulate cooperation between the theoretical and the practical community in computer science.

The major activities of the EATCS are:

Related Image Collections Add Image
We don't have any YouTube videos related to European Association for Theoretical Computer Science yet.
We don't have any PDF documents related to European Association for Theoretical Computer Science yet.
We don't have any Books related to European Association for Theoretical Computer Science yet.
We don't have any archived web articles related to European Association for Theoretical Computer Science yet.

EATCS Award

Each year, the EATCS Award7 is awarded in recognition of a distinguished career in theoretical computer science. The first award was assigned to Richard Karp in 2000; the complete list of the winners is given below:

YearAwardedPlace
2023Amos FiatICALP (Paderborn)
2022Patrick CousotICALP (Paris)
2021Toniann PitassiICALP (Glasgow)
2020Mihalis YannakakisICALP (Saarbrücken)
2019Thomas HenzingerICALP (Patras)
2018Noam NisanICALP (Prague)
2017Éva TardosICALP (Warsaw)
2016Dexter KozenICALP (Rome)
2015Christos PapadimitriouICALP (Kyoto)
2014Gordon PlotkinICALP (Copenhagen)
2013Martin DyerICALP (Riga)
2012Moshe VardiICALP (Warwick)
2011Boris TrakhtenbrotICALP (Zürich)
2010Kurt MehlhornICALP (Bordeaux)
2009Gérard HuetICALP (Rhodes)
2008Leslie G. ValiantICALP (Reykjavík)
2007Dana S. ScottICALP (Wrocław)
2006Mike PatersonICALP (Venice)
2005Robin MilnerICALP (Lisbon)
2004Arto SalomaaICALP (Turku)
2003Grzegorz RozenbergICALP (Eindhoven)
2002Maurice NivatICALP (Málaga)
2001Corrado BöhmICALP (Crete)
2000Richard KarpICALP (Geneva)

Presburger Award

Main article: Presburger Award

Starting in 2010, the European Association of Theoretical Computer Science (EATCS) confers each year at the conference ICALP the Presburger Award to a young scientist (in exceptional cases to several young scientists) for outstanding contributions in theoretical computer science, documented by a published paper or a series of published papers. The award is named after Mojzesz Presburger who accomplished his path-breaking work on decidability of the theory of addition (which today is called Presburger arithmetic) as a student in 1929. The complete list of the winners8 is given below:

YearAwardedPlace
2021Shayan Oveis GharanICALP (Glasgow)
2020Dmitriy ZhukICALP (Saarbrücken/online)
2019Karl Bringmann, Kasper Green LarsenICALP (Patras)
2018Aleksander MądryICALP (Prague)
2017Alexandra SilvaICALP (Warsaw)
2016Mark BravermanICALP (Rome)
2015Xi ChenICALP (Kyoto)
2014David WoodruffICALP (Copenhagen)
2013Erik DemaineICALP (Riga)
2012Venkatesan Guruswami, Mihai PatrascuICALP (Warwick)
2011Patricia Bouyer-DecitreICALP (Zürich)
2010Mikołaj BojańczykICALP (Bordeaux)

EATCS Fellows

The EATCS Fellows Program9 has been established by the Association to recognize outstanding EATCS Members for their scientific achievements in the field of Theoretical Computer Science. The Fellow status is conferred by the EATCS Fellows-Selection Committee upon a person having a track record of intellectual and organizational leadership within the EATCS community. Fellows are expected to be “model citizens” of the TCS community, helping to develop the standing of TCS beyond the frontiers of the community.

AwardedRecognized Year
Luca Aceto2021
Jiri Adamek2018
Susanne Albers2014
Rajeev Alur2021
Giorgio Ausiello2014
Wilfried Brauer2014
Artur Czumaj2015
Pierpaolo Degano2020
Mariangiola Dezani-Ciancaglini2015
Josep Diaz2017
Herbert Edelsbrunner2014
Zoltán Ésik2016
Mike Fellows2014
Fedor Fomin2019
Yuri Gurevich2014
Mohammad Hajiaghayi2020
Magnús M. Halldórsson2020
David Harel2016
Monika Henzinger2014
Thomas A. Henzinger2015
Giuseppe F. Italiano2016
Samir Khuller2021
Dexter Kozen2015
Marta Kwiatkowska2017
Stefano Leonardi2018
Kurt Mehlhorn2016
Rocco de Nicola2019
David Peleg2021
Jean-Éric Pin2014
Dana Ron2019
Davide Sangiorgi2021
Saket Saurabh2021
Scott A. Smolka2016
Paul Spirakis2014
Aravind Srinivasan2017
Wolfgang Thomas2014
Moshe Y. Vardi2015
Moti Yung2017

Texts in Theoretical Computer Science

EATCS Bulletin

The EATCS Bulletin is a newsletter of the EATCS, published online three times annually in February, June, and October respectively. The Bulletin is a medium for rapid publication and wide distribution of material such as:

  • EATCS matters;
  • information about the current ICALP;
  • technical contributions;
  • columns;
  • surveys and tutorials;
  • reports on conferences;
  • calendar of events;
  • reports on computer science departments and institutes;
  • listings of technical reports and publications;
  • book reviews;
  • open problems and solutions;
  • abstracts of PhD Theses;
  • information on visitors at various institutions; and
  • entertaining contributions and pictures related to computer science.

Since 2021 its editor-in-chief has been Stefan Schmid (TU Berlin).

EATCS Young Researchers Schools

Beginning in 2014, the European Association for Theoretical Computer Science (EATCS) established a series of Young Researcher Schools on TCS topics. A brief history of the schools follows below.

YearTypePlace
2017ProbProgSchool 2017 – 1st School on Foundations of Programming and Software systems. Probabilistic programmingBraga, Portugal
20152nd EATCS Young Researchers School – Understanding COMPLEXITY and CONCURRENCY through TOPOLOGY of DATACamerino, Italy
20141st EATCS Young Researchers School – Automata, Logic and GamesTelč, Czech Republic

See also

References

  1. What does EATCS stand for? European Association of Theoretical Computer Science, Acronym Finder. http://www.acronymfinder.com/European-Association-of-Theoretical-Computer-Science-(EATCS).html

  2. Brauer, Ute; Brauer, Wilfried: European Association for Theoretical Computer Science / About the Association / Silver Jubilee of EATCS /wiki/Wilfried_Brauer

  3. Monographs in Theoretical Computer Science. An EATCS Series, Springer-Verlag. https://www.springer.com/series/776

  4. Monographs in Theoretical Computer Science. An EATCS Series, DBLP. http://www.informatik.uni-trier.de/~ley/db/series/eatcs/

  5. Texts in Theoretical Computer Science. An EATCS Series, Springer-Verlag. https://www.springer.com/series/3214

  6. Brauer, Ute; Brauer, Wilfried: European Association for Theoretical Computer Science / About the Association / Silver Jubilee of EATCS /wiki/Wilfried_Brauer

  7. EATCS Award, European Association for Theoretical Computer Science. http://www.eatcs.org/index.php/eatcs-award

  8. "Presburger Award". European Association for Theoretical Computer Science. Retrieved 2020-07-23. http://eatcs.org/index.php/presburger

  9. EATCS Fellows European Association for Theoretical Computer Science. https://www.eatcs.org/index.php/eatcs-fellows