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  <p>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.</p
 >\n  <p>Five 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.</p
 >\n  <p>This 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.</p>\n  <p>Early registration de
 adline: 15 May 2022.</p>\n
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