The Rolf Schock Prize Symposium in Logic and Philosophy 2020

Datum: 2022-10-26

Adress: AlbaNova, Östermalm, Stockholm, Sverige

Lokal: TBD


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
    Sapienza
    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 kva@kva.se

Read more about how the Academy processes your personal data 

Kontakt: Peter Brandén
E-post: program@kva.se