HOME
The Info List - EATCS Award


--- Advertisement ---



The European Association for Theoretical Computer Science
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:

Organization of ICALP, the International Colloquium on Automata, Languages and Programming;[2] Publication of a series of monographs[3][4] and texts[5] on theoretical computer science; Publication of the Bulletin of the EATCS; Publication of the journal Theoretical Computer Science;[2] Publication of the journal Fundamenta Informaticae.

Contents

1 EATCS Award 2 Presburger Award 3 EATCS Fellows 4 Texts in Theoretical Computer Science 5 EATCS Bulletin 6 EATCS Young Researchers Schools 7 References 8 External links

EATCS Award[edit] 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
Richard Karp
in 2000; the complete list of the winners is given below:

Year Awarded Place

2017 Éva Tardos ICALP (Warsaw)

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[edit] 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

2017 Alexandra Silva ICALP (Warsaw)

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 Mikołaj Bojańczyk ICALP (Bordeaux)

EATCS Fellows[edit] The EATCS Fellows Program[7] 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.

Awarded Recognized Year

Susanne Albers 2014

Giorgio Ausiello 2014

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

Texts in Theoretical Computer Science[edit]

This section needs expansion. You can help by adding to it. (September 2011)

EATCS Bulletin[edit] 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:

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 2013 its editor-in-chief has been Kazuo Iwama. EATCS Young Researchers Schools[edit] 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.

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[edit]

^ What does EATCS stand for? European Association of Theoretical Computer Science, Acronym Finder. ^ a b Brauer, Ute; Brauer, Wilfried: European Association for Theoretical Computer Science / About the Association / Silver Jubilee of EATCS ^ Monographs in Theoretical Computer Science. An EATCS Series, Springer-Verlag. ^ Monographs in Theoretical Computer Science. An EATCS Series, DBLP. ^ Texts in Theoretical Computer Science. An EATCS Series, Springer-Verlag. ^ EATCS Award, European Association for Theoretical Computer Science. ^ EATCS Fellows European Association for Theoretical Computer Science.

External links[edit]

European Association for Theoretical Computer Science
European Association for Theoretical Computer Science
website

v t e

EATCS Award laureates

Karp (2000) Böhm (2001) Nivat (2002) Rozenberg (2003) Salomaa (2004) Milner (2005) Paterson (2006) Scott (2007) Valiant (2008) Huet (2009) Mehlhorn (2010) Trakhtenbrot (2011) Vardi (2012) Dyer (2013) Plotkin (2014) Papadimitriou (2015) Kozen (2

.