European Association for Theoretical Computer Science

EATCS logo

The European Association for Theoretical Computer Science (EATCS[1]) 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:

EATCS Award

Each year, the EATCS Award[6] 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:

Year Awarded Place
2016 Dexter Kozen ICALP (Rome)
2015 Christos Papadimitriou ICALP (Kyoto)
2014 Gordon Plotkin ICALP (Copenhagen)
2013 Martin Dyer ICALP (Riga)
2012 Moshe Vardi ICALP (Warwick)
2011 Boris Trakhtenbrot ICALP (Zurich)
2010 Kurt Mehlhorn ICALP (Bordeaux)
2009 Gérard Huet ICALP (Rhodes)
2008 Leslie G. Valiant ICALP (Reykjavík)
2007 Dana S. Scott ICALP (Wroclaw)
2006 Mike Paterson ICALP (Venice)
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 (Geneva)

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 winners is given below:

Year Awarded Place
2016 Mark Braverman ICALP (Rome)
2015 Xi Chen ICALP (Kyoto)
2014 David Woodruff ICALP (Copenhagen)
2013 Erik Demaine ICALP (Riga)
2012 Venkatesan Guruswami, Mihai Patrascu ICALP (Warwick)
2011 Patricia Bouyer-Decitre ICALP (Zurich)
2010 Mikolaj Bojanczyk ICALP (Bordeaux)

EATCS Fellows

The EATCS Fellows Program is 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.

Awarded Recognized Year
Susanne Albers 2014
Giorgio Ausiello 2014
the late Wilfried Brauer 2014
Mariangiola Dezani-Ciancaglini 2015
Herbert Edelsbrunner 2014
Zoltán Ésik 2016
Mike Fellows 2014
Yuri Gurevich 2014
David Harel 2016
Monika Henzinger 2014
Thomas A. Henzinger 2015
Giuseppe F. Italiano 2016
Dexter Kozen 2015
Kurt Mehlhorn 2016
Jean-Eric Pin 2014
Paul Spirakis 2014
Wolfgang Thomas 2014
Moshe Y. Vardi 2015

EATCS Bulletin

Three issues of the Bulletin are published annually appearing in February, June and October respectively. The Bulletin is a medium for rapid publication and wide distribution of material such as:

Since 2013 its editor-in-chief has been Kazuo Iwama.

ΕATCS Young Researchers Schools

Βeginning 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.

Year Type Place
2015 2nd EATCS Young Researchers School – Understanding COMPLEXITY and CONCURRENCY through TOPOLOGY of DATA Camerino, Italy
2014 1st EATCS Young Researchers School – Automata, Logic and Games Telč, Czech Republic

References

External links

This article is issued from Wikipedia - version of the 10/12/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.