European Association for Theoretical Computer Science

From Wikipedia, the free encyclopedia
Jump to: navigation, search
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[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 in 2000; the complete list of the winners is given below:

Year Awarded Place
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
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[edit]

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
Mike Fellows 2014
Yuri Gurevich 2014
Monika Henzinger 2014
Thomas A. Henzinger 2015
Dexter Kozen 2015
Jean-Eric Pin 2014
Paul Spirakis 2014
Wolfgang Thomas 2014
Moshe Y. Vardi 2015


Texts in Theoretical Computer Science[edit]

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
   Entertaining contributions and pictures related to computer science

ΕATCS Young Researchers Schools[edit]

Β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 Telc, Czech Republic

References[edit]

External links[edit]