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.