Presburger Award: Difference between revisions
Appearance
Content deleted Content added
No edit summary |
Andreschulz (talk | contribs) update: Erik Demaine now received the price |
||
Line 3: | Line 3: | ||
Past recipients of the award are: |
Past recipients of the award are: |
||
* Mikołaj Bojańczyk (2010)<ref name="eatcs"> |
* Mikołaj Bojańczyk (2010)<ref name="eatcs">{{cite web| url=http://eatcs.org/index.php/presburger| title=Presburger Award, EATCS| accessdate=2012-04-23}}</ref> |
||
* Patricia Bouyer-Decitre (2011)<ref name="eatcs"/> |
* Patricia Bouyer-Decitre (2011)<ref name="eatcs"/> |
||
* [[Venkatesan Guruswami]] and [[Mihai Pătraşcu]] (2012)<ref> |
* [[Venkatesan Guruswami]] and [[Mihai Pătraşcu]] (2012)<ref>{{cite web| url=http://eatcs.org/index.php/component/content/article/1-news/1243-presburger-award-2012| title=Presburger Award 2012, EATCS| accessdate=2012-04-23}}</ref> |
||
⚫ | |||
⚫ | |||
==References== |
==References== |
Revision as of 08:08, 16 July 2013
The Presburger Award, started in 2010, is awarded each year by the European Association for 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:
- Mikołaj Bojańczyk (2010)[1]
- Patricia Bouyer-Decitre (2011)[1]
- Venkatesan Guruswami and Mihai Pătraşcu (2012)[2]
- Erik Demaine (2013) [3]
References
- ^ a b "Presburger Award, EATCS". Retrieved 2012-04-23.
- ^ "Presburger Award 2012, EATCS". Retrieved 2012-04-23.
- ^ "Presburger Award 2013, ETACS". Retrieved 2013-02-15.