The European Association for Theoretical Computer Science (EATCS) annually honors a respected scientist within the community with the prestigious EATCS Distinguished Achievements Award. The award is given to acknowledge extensive and widely recognized contributions to theoretical computer science over a life long scientific career. This year, the selection committee has chosen Professor Dexter Kozen as the 2016 recepient for his "fundamental contributions across the whole spectrum of theoretical computer science."

The EATCS Award carries a prize money of 1000 Euros and will be presented at ICALP 2016, which will take place in Rome (Italy) from the 12th till the 15th of July 2016.

The complete press release can be found here:

https://www.eatcs.org/index.php/component/content/article/1-news/2227-press-release-for-the-eatcs-award-2016-to-dexter-kozen