22-25 Jun 2020
Bergen, Norway
Fourth Nordic Logic Summer School (NLS 2020)
Nordic Logic Summer School 2020
University of Bergen, Norway, June 22-25, 2020
https://scandinavianlogic2020.w.uib.no/fourth-nordic-logic-summer-school-nls-2020/
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)
Oystein Linnebo (Oslo)
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 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. The courses are:
Fan Yang: Proof theoretic aspects of dependence logics
Peter Fritz: Necessitism vs contingentism
Nina Gierasimczuk: Learning and Modal Logic
Paulo Oliva: Proof interpretations and constructive mathematics
Thomas Powell: Proof Mining
Sonja Smets: Logics for Epistemic Social Networks
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 nls (at)
uib.no.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
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