[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
First Announcement

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

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

The fourth Nordic Logic Summer School is arranged under the auspices of the
Scandinavian Logic Society. The three previous schools were organized 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 a_end them all:

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

This summer school immediately precedes the eleventh Scandinavian Logic
Symposium, which will also be held at the University of Bergen, June 17-19.
It is likely that there will be a student poster session on June 17,
possibly augmented by other student events.

-- 

Patrick Blackburn
Filosofi og videnskabsteori
Institut for Kommunikation og Humanistisk videnskab (IKH)
University of Roskilde
Universitetsvej 1
4000-DK Roskilde
Denmark

e-mail: patrickb at ruc.dk or
patrick.rowan.blackburn at gmail.com
web: www.patrickblackburn.org/
Office phone: +45 4674 3310
Office number: 42.1-13