BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2022/newsitem/13219/13 ---16-June-2022-Fourth-Nordic-Logic-Summer-School- NLS-2022-Bergen-Norway DTSTAMP:20220503T133616 SUMMARY:Fourth Nordic Logic Summer School (NLS 202 2), Bergen, Norway DTSTART;VALUE=DATE:20220613 DTEND;VALUE=DATE:20220616 LOCATION:Bergen, Norway DESCRIPTION:The fourth Nordic Logic Summer School is arranged under the auspices of the Scandinavian Logic Society. The three previous schools were or ganized in Nordfjordeid, Norway (2013), Helsinki, Finland (2015) and Stockholm, Sweden (2017). The i ntended 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 comp utational logic will be offered. No parallel sessi ons are planned, so it will be possible to attend them all: Fan Yang: Proof Theoretic Aspects of Dep endence Logics, Peter Fritz: Propositional Quantif ication, Nina Gierasimczuk: Learning and Modal Log ic, Paulo Oliva: Realizability, and Thomas Powell: Proof Mining. This summer school immediately pre cedes the eleventh Scandinavian Logic Symposium, w hich will also be held at the University of Bergen , June 17-19. It is likely that there will be a st udent poster session on June 17, possibly augmente d by other student events. Early registration dea dline: 15 May 2022. X-ALT-DESC;FMTTYPE=text/html:\n
The fourth Nor dic Logic Summer School is arranged under the ausp ices of the Scandinavian Logic Society. The three previous schools were organized in Nordfjordeid, N orway (2013), Helsinki, Finland (2015) and Stockho lm, Sweden (2017). The intended audience is master s students, PhD-students, postdocs, and experience d researchers, who wish to learn the state of the art in a range of topics in contemporary logic.
\nFive courses on themes in philosophical lo gic, mathematical logic, and computational logic w ill be offered. No parallel sessions are planned, so it will be possible to attend them all: Fan Yan g: Proof Theoretic Aspects of Dependence Logics, P eter Fritz: Propositional Quantification, Nina Gie rasimczuk: Learning and Modal Logic, Paulo Oliva: Realizability, and Thomas Powell: Proof Mining.
\nThis summer school immediately precedes th e eleventh Scandinavian Logic Symposium, which wil l also be held at the University of Bergen, June 1 7-19. It is likely that there will be a student po ster session on June 17, possibly augmented by oth er student events.
\nEarly registration de adline: 15 May 2022.
URL:https://scandinavianlogic2020.w.uib.no/fourth- nordic-logic-summer-school-nls-2020/ CONTACT:NLS 2022 organising committee at nls at ui b.no END:VEVENT END:VCALENDAR