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 2012 the date of birth should be in 1976 or later).

Award Committee 2012

	Stefano Leonardi, Dipartimento di Ingegneria Informatica, Automatica e Gestionale Antonio Ruberti, Sapienza University of Rome, Via Ariosto 25, 00185 Roma, Italy or: This e-mail address is being protected from spambots. You need JavaScript enabled to view it

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

The Presburger Award is sponsored by BiCi, the Bertinoro international Center for informatics.

A brief history of the Presburger Award follows below.

	2011 / Patricia Bouyer-Decitre Place: ICALP (Zürich)

	2010 / Mikolaj Bojanczyk Place: ICALP (Bordeaux)       Photos from ICALP 2010 by Manfred Kudlek