Jump to content

Presburger Award

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by PhS (talk | contribs) at 07:55, 19 May 2011 (create page). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

The Presburger Award, started in 2010, is awarded each year by the European Association of Theoretical Computer Science (EATCS) to "a young scientist 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


Past recipients of the award are: