---------- Forwarded message --------- From: Torben Braüner <tor...@ruc.dk> Date: Tue, Nov 30, 2021 at 12:40 PM Subject: [PT] Nordic Logic Summer School 2022 (NLS 2022) To: proofthe...@lists.bath.ac.uk <proofthe...@lists.bath.ac.uk>
Dear colleagues, I take the liberty to inform you about the Nordic Logic Summer School 2022 (NLS 2022), please follow the link: https://scandinavianlogic2020.w.uib.no/fourth-nordic-logic-summer-school-nls-2020 <https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fscandinavianlogic2020.w.uib.no%2Ffourth-nordic-logic-summer-school-nls-2020&data=04%7C01%7CProofTheory%40Lists.Bath.Ac.UK%7Ca50dc5b55ba94722d14008d9b4399a30%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637738981750993925%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=mK1044Fz8%2Ft6Tpvpc7GGGh%2BLdqX8DEU3lFPmRVAarrE%3D&reserved=0> Also, please see below and forward to potentially interested people. Best regards, Torben Braüner ================= 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 Velaìzquez Quesada. Local Organizers: Rustam Galimullin, Mina Young Pedersen, Fernando Velaì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 attend 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. -- Professor (mso), Ph.D., dr.scient. Torben Braüner Programming, Logic and Intelligent Systems Research Group Department of People and Technology Roskilde University, Denmark http://www.ruc.dk/~torben -- 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 logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXuQFHaVMDmVUmKNsPAOX%2B06QM7_Y1i6kb3%3DzMtH%3Drr6Sg%40mail.gmail.com.