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.

Nominations

Nominations for the Presburger Award can be submitted by any member or group of members of the theoretical computer science community except the nominee and his/her advisors for the master thesis and the doctoral dissertation. Nominated scientists have to be at most 35 years at the time of the deadline of nomination (i.e., for the Presburger Award of 2017 the date of birth should be in 1981 or later).

Award Committee 2017

Stephan Kreutzer
Marta Kwiatkowska
chair
Jukka Suomela

Nominations, consisting of a two page justification and (links to) the respective papers, as well as additional supporting letters, should be sent to



Marta Kwiatkowska


This e-mail address is being protected from spambots. You need JavaScript enabled to view it



by 31st December 2016:

Presburger Award for Young Scientists 2017 - Call for Nominations

The two page justification can be co-signed by several nominees and may be accompanied by letters of support.

 

 

The award includes an amount of 1000 € and an invitation to ICALP 2017 for a lecture.

 

The Presburger Award is sponsored by CWI, Centrum Wiskunde & Informatica.

 

 

A brief history of the Presburger Award follows below.



2016 / Mark Braverman

Place: ICALP (Rome)

Committee:  Zoltan Esik (University of Szeged, Hungary), Marta Kwiatkowska (University of Oxford, UK) and  Claire Mathieu (ENS Paris, France; chair)





2015 / Xi Chen

Place: ICALP (Kyoto)

Committee: Zoltan Esik (University of Szeged, Hungary), Claire Mathieu (ENS Paris, France) and Peter Widmayer (ETH Zurich, CH; chair)





2014 / David Woodruff

Place: ICALP (Copenhagen)

Committee: Claire Mathieu, Peter Widmayer, and Antonin Kucera (chair)





2013 / Erik Demaine

Place: ICALP (Riga)

Committee: Antonin Kucera, Peter Widmayer, and Monika Henzinger (chair)

Photos from ICALP 2013





2012 / Venkatesan Guruswami, Mihai Patrascu

Place: ICALP (Warwick)

Committee: Monika Henzinger, Antonin Kucera, and Stefano Leonardi (chair)





2011 / Patricia Bouyer-Decitre

Place: ICALP (Zürich)

Committee: Monika Henzinger, Stefano Leonardi, and Andrzej Tarlecki (chair)

Photos from ICALP 2011 by Manfred Kudlek





2010 / Mikolaj Bojanczyk

Place: ICALP (Bordeaux)

Committee: Stefano Leonardi, Andrzej Tarlecki, and Wolfgang Thomas (chair)

 

Photos from ICALP 2010 by Manfred Kudlek


e-max.it: your social media marketing partner
 
European Association for Theoretical Computer Science - Maintained and hosted by RU1 / CTI.