Bergen Logic Events 2022

Fourth Nordic Logic Summer School (NLS 2022)

Nordic Logic Summer School 2022
University of Bergen, Norway, June 13-16, 2022

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. Five courses will be offered. No parallel sessions are planned, so it will be possible to attend them all.

Planned Schedule

On Monday, Wednesday and Thursday, the lectures will take place in the «Stort auditorium»; on Tuesday, the lectures will take place in the «Lite auditorium».

9:00–10:00 Realizability (Paulo Oliva)
10:00–10:30 Coffee break
10:30–11:30 Dependence Logic and its Proof-theoretic Aspects (Fan Yang)
11:30–12:00 Coffee break
12:00–13:00 Propositional Quantification (Peter Fritz)
13:00–14:30 Lunch break
14:30–15:30 Proof Mining (Thomas Powell)
15:30–16:00 Coffee break
16:00–17:00 Learning and Modal Logic (Nina Gierasimczuk)

 

 

Courses and lecturers

Dependence logic and its proof-theoretic aspects

Propositional quantification

Learning and Modal Logic

Realizability

Proof Mining

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 17-19, 2022. 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 nls (at) uib.no.

Program Committee:
Chair:
Patrick Blackburn (Roskilde)

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