Logic List Mailing Archive

NLS 2022: Nordic Logic Summer School

13-16 Jun 2022
Bergen, Norway

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

Third Announcement

Summer school website: 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 (https://scandinavianlogic.org/). 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.

*** Courses
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.
- Fan Yang (University of Helsinki): Dependence logic and its proof-theoretic aspects
- Peter Fritz (Australian Catholic University): Propositional Quantification
- Nina Gierasimczuk (Danish Technical University): Learning and Modal Logic
- Paulo Oliva (Queen Mary University of London): Realizability
- Thomas Powell (University of Bath): Proof Mining

Note that this summer school immediately precedes the eleventh Scandinavian Logic Symposium (https://scandinavianlogic2020.w.uib.no/eleventh-scandinavian-logic-symposium-slss-2020/), which will also be held at the University of Bergen, June 17-19.

*** 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.

*** Registration & fees
The registration webpage is expected to go online on Monday the 18th of April. The registration fees will be as follows.
- early registration (until Sunday the 15th of May): NOK 500
- late registration (from Monday the 16th of May):   NOK 750

Note: students from Ukrainian universities will not pay the registration fee.

*** Accommodation
The summer school website provides additional information (https://scandinavianlogic2020.w.uib.no/practical-information/).

*** Contact
All questions regarding the summer school should be emailed to nls (at) uib.no.

[LOGIC] mailing list
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam