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 their advisors for the master thesis and the doctoral dissertation. Nominated scientists have to be young scientists by January 1st of the year of the nomination, by living up to at least one of the following:
Presburger Award Committee for 2026
|
Joël Ouaknine
|
chair |
| Shiri Chechik |
|
| Kasper Green Larsen |
|
Nominations, consisting of a two page justification and (links to) the respective papers, as well as additional supporting letters, should be sent to
 |
|
 |
|
Joël Ouaknine
This e-mail address is being protected from spambots. You need JavaScript enabled to view it
|
|
 |
|
 |
by 13th March 2026:
Presburger Award for Young Scientists 2026 - Call for Nominations
The two page justification can be co-signed by several nominators and may be accompanied by letters of support.
The award includes an amount of 1000 € and an invitation to ICALP 2026 for a lecture.
The Presburger Award is sponsored by CWI, Centrum Wiskunde & Informatica.
A brief history of the Presburger Award follows below.
|
|
|
|
Place: ICALP (Prague)
Committee: Monika Henzinger, Stephan Kreutzer (chair) and Jukka Suomela
|
|
|
|
|
|
|
|
|
Place: ICALP (Warsow)
Committee: Marta Kwiatkowska (chair), Stephan Kreutzer and Jukka Suomela
|
|
|
|
|
|
