Last updated on 2020-08-20Conference > Program > EATCS Awards Session
At this session, the best papers, EATCS, and Presburger awards are presented. (The Gödel Prize is presented at the Conference Dinner.) Also, we draw the winners of the Springer Stipend Lottery.