Information on the coronavirus in relation to Stockholm University's activities is updated continuously.
Alternative fish has arrived on the market. Can it help save marine life and feed a hungry world? Henrik Lagerlund weighs in.
Mike Kenny and Anna Alexandrova interview Professor Erik Angner of Stockholm University.
Prawitz awarded for proof-theoretical normalization in natural deduction and Martin-Löf for the creation of constructive type theory.
