Logic List Mailing Archive

2020 Rolf Schock Prize in Logic & Philosophy: Dag Prawitz & Per Martin-Loef

The 2020 Rolf Schock Prize in logic and philosophy is awarded to Dag 
Prawitz, Stockholm University, "for proof-theoretical normalization in 
natural deduction" and Per Martin-Loef, Stockholm University, "for the 
creation of constructive type theory".

https://www.kva.se/en/pressrum/pressmeddelanden/schockprisen-belonar-skapandet-av-teorier-konst-och-musik

--
[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