the scandinavian logic society

slideshow 1

Fourth Nordic Logic Summer School (NLS 2020)

Nordic Logic Summer School 2020
University of Bergen, Norway, June 22-25, 2020

The fourth Nordic Logic Summer School is arranged under the auspices of the Scandinavian Logic Society. The three previous schools were organised in Nordfjordeid, Norway (2013), Helsinki, Finland (2015) and Stockholm, Sweden (2017). The intended audience is advanced master students, PhD-students, postdocs and experienced researchers wishing to learn the state of the art in a particular subject. It will be held between June 22nd and 25th. Attendees who want to obtain ECTS points will be able to do so by giving a short presentation on June 26th.Six courses will be offered. No parallel sessions are planned, so it will be possible to attend them all.

Information about registration will be announced after March 10.

Courses and lecturers
Proof theoretic aspects of dependence logics by
Fan Yang

Necessitism vs contingentism by
Peter Fritz

Learning and Modal Logic by
Nina Gierasimczuk

Proof interpretations and constructive mathematics by
Paulo Oliva

Proof Mining by
Thomas Powell

Logics for Epistemic Social Networks by
Sonja Smets

Note that this summer school immediately precedes the eleventh Scandinavian Logic Symposium, which will also be held at the University of Bergen, and will run from June 26-28, 2020. Thus, attendance at both NLS and SLSS offers a solid week of logic in Bergen.

All questions regarding the summer school should be emailed to marija.slavkovik (at) uni.no.

Program Committee:
Co-chairs:
Patrick Blackburn (Roskilde) and Marija Slavkovik (Bergen)

Members:
Rasmus K. Rendsvig (Copenhagen)
Bahareh Afshari (Amsterdam)
Ole Hjortland (Bergen)
Lauri Hella (Tampere)
Sara Negri (Helsinki)
Øystein Linnebo (Oslo)

 Photo of Mount Akka / Àhkka massif seen from the high plateau Maukojaureh north-east of it by Tobias Radeskog / CC BY 3.0.