News
29 July 2025: Aart Middeldorp receives two prestigious research awards
In this year at the CADE conference, Aart Middeldorp was awarded with both the Herbrand Award and the in combination with Nao Hirokawa, he also received the Thoralf Skolem Award.
continue reading ...