[Event at CIG] Nordic Logic Summer School 2022 (NLS 2022)

[Patrick Blackburn]

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

CALL FOR PARTICIPATION

https://scandinavianlogic2020.w.uib.no/fourth-nordic-logic-summer-school-nls-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 masters students, PhD-students,
postdocs, and experienced researchers, who wish to learn the state of the
art in a range of topics in contemporary logic.

Five courses on themes in philosophical logic, mathematical logic, and
computational logic will be offered. No parallel sessions are planned, so
it will be possible to attend them all:

Peter Fritz: Propositional Quantification
Nina Gierasimczuk: Learning and Modal Logic
Paulo Oliva: Realizability
Thomas Powell: Proof Mining
Fan Yang: Proof Theoretic Aspects of Dependence Logics

Note that this summer school immediately precedes the eleventh Scandinavian
Logic Symposium, which will also be held at the University of Bergen, June
17-19.

The registration site is now open (
https://scandinavianlogic2020.w.uib.no/registration/). Be sure to click on
the "Register for NLS" link/button.
- Early registration (until Sunday 15th of May)  : NOK 500
- Late registration (from Monday the 16th of May): NOK 750

The registration fee covers coffee and snacks throughout the day. Note:
students from Ukrainian universities will not pay the registration fee (but
do visit the registration page, to know what you need to do). Information
about hotels, hostels, and travel to Bergen can be found on the website.

Program Committee: Bahareh Afshari, Patrick Blackburn (co-chair), Lauri
Hella, Ole Hjortland, Sara Negri, Øystein Linnebo, Rasmus K. Rendsvig,
Marija Slavkovik (co-chair).

Local Organizers: Rustam Galimullin, Mina Young Pedersen, Fernando
Velázquez Quesada.