Fwd: Nordic Logic Summer School 2020 (NLS 2020)

[Joao Marcos]

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/


---------- Forwarded message ---------

Dear all,

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.
Attendees who want to obtain ECTS points will be able to do so by
giving a short presentation on June 26th 2020.

Six 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. The courses are:
Yang Fan: Proof theoretic aspects of dependence logics
Peter Fritz: Necessitism vs contingentism
Nina Gierasimczuk: Learning and Modal Logic
Paulo Oliva: Proofs 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 from June 26-28, 2020.

Details on both
https://scandinavianlogic2020.w.uib.no/fourth-nordic-logic-summer-school-nls-2020/

Kind regards,
Marija & Patrick