In his will, Dr. Rolf Schock, who died in 1986, specified that half of his estate should be used to fund four prizes in the fields of Logic and Philosophy, Mathematics, the Visual arts and Music. The prizes in Logic and Philosophy and in Mathematics is awarded by the Royal Swedish Academy of Sciences, and those in the Visual arts and Music by the Royal Academy of Fine Arts and the Royal Swedish Academy of Music respectively.
The Royal Swedish Academy of Sciences awarded the 2020
Rolf Schock Prize in Logic and Philosophy to Dag Prawitz, Stockholm University,
“for proof-theoretical normalization in natural deduction”, and to Per Martin-Löf, Stockholm University, “for the creation of
constructive type theory.”
A symposium was planned for the Laureates in 2020, but was postoned until now due to the pandemic.
Lectures by the Laureates and invited speakers:
- Cesare Cozzo
University of Rome, Italy
- Ansten Mørch Klev, Czech Academy of Sciences, Prague, Czech Republic
Peter Schroeder-Heister, University of Tübingen, Germany
Göran Sundholm, Leiden University, The Netherlands
A programme will be published later
Registration will open later
The Royal Swedish Academy of Sciences occasionally records and photographs during its events. Photographs and video footage will be processed by the Academy and submitted to third parties for processing. Photographs and videos may also be used in our communication activities to provide information about the Academy’s activities in any of the digital and/or printed channels used by the Academy. If you do not consent to this or have other questions about our processing of personal data, please call us on +46 8 673 95 00, or email email@example.com
Kontakt: Peter Brandén