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