Logic List Mailing Archive

Call for Nominations: Presburger Award for Young Scientists, Deadline: 15 February 2020

The Presburger Award for Young Scientists 2020
Call for Nominations

Deadline: 15 February 2020

Starting in 2010, the European Association for Theoretical Computer 
Science (EATCS) established the Presburger Award. The Award is conferred 
annually at the International Colloquium on Automata, Languages and 
Programming (ICALP) 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 (today called 
Presburger arithmetic) as a student in 1929.

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 old on 
January 1st of the year of the nomination (i.e., for the Presburger Award 
of 2020 the birth year should be 1984 or later). The Presburger Award 
Committee of 2020 consists of Thore Husfeldt (Lund University and IT 
University of Copenhagen), Meena Mahajan (The Institute of Mathematical 
Sciences, Chennai) and Anca Muscholl (LaBRI, Bordeaux, chair). 
Nominations, consisting of a two page justification and (links to) the 
respective papers, as well as additional supporting letters, should be 
sent by e-mail to:

      presburger-award@eatcs.org

The subject line of every nomination should start with Presburger Award 
2020, and the message must be received before February 15th, 2020.

The award includes an amount of 1000 Euro and an invitation to ICALP 2020 for a lecture.

Previous Winners:
Mikolaj Bojanczyk, 2010
Patricia Bouyer-Decitre, 2011
Venkatesan Guruswami, Mihai Patrascu 2012
Erik Demaine, 2013
David Woodruff, 2014
Xi Chen, 2015
Mark Braverman, 2016
Alexandra Silva, 2017
Karl Bringmann, Kasper Green Larsen  2019


Official website: http://www.eatcs.org/index.php/presburger
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam