the scandinavian logic society

**May 27-31, 2013
Sophus Lie Conference Center, Nordfjordeid, Norway**

The first Nordic Spring School in Logic is organized under the auspices of the Scandinavian Logic Society and is supported by the Department of Mathematics of the University of Oslo.

Please see the homepage of the school for more information.

**Dynamic logics for interactive belief revision**(Alexandru Baltag and Sonja Smets)

Slides: Part I**The semantics of higher-order algorithms**(Dag Normann)

Slides: Part I, Part II, Part III**Logics for dependence and independence**(Erich Grädel)

Slides**Set theory: an introduction to the world of large cardinals**(Joan Bagaria)

Lecture notes. Slides**Model theory of Arithmetic**(Ali Enayat)

Slides: Part I, Part II**Logic and formal verification**(Kim Larsen)

Slides: Part I, Part II, Part III**Proof theory: From arithmetic to set theory**(Michael Rathjen)

Lecture notes.. Slides: Part I, Part II**Logic, computability and cognition**(Nina Gierasimczuk and Jakub Szymanik)

See webpage at http://ninagierasimczuk.com/NSSL2013/**Type theory and univalent foundations**(Thierry Coquand)

See webpage. Slides: Part I, Part II**Logic, automata and games**(Wolfgang Thomas)

Slides: Part I, Part II, Part III, Part IV**Philosophy of logic: The problem of absolute generality**(Øystein Linnebo)

Slides: Part I, Part II, Part III, Part IV