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 -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiJmS0m9X1UcuB0o4HbKA9UxA5G7fBzyFceBf-bKPbNpw%40mail.gmail.com.
