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/2018/newsitem/9699/11-
 --13-June-2018-Tenth-Scandinavian-Logic-Symposium-
 SLS-2018-Gothenburg-Sweden
DTSTAMP:20180327T001228
SUMMARY:Tenth Scandinavian Logic Symposium (SLS 20
 18), Gothenburg, Sweden
DTSTART;VALUE=DATE:20180611
DTEND;VALUE=DATE:20180613
LOCATION:Gothenburg, Sweden
DESCRIPTION:The primary aim of the Symposium is to
  promote research in the field of logic (broadly c
 onceived) carried out in research communities in S
 candinavia. Moreover, it warmly invites participat
 ion of logicians from all over the world. The meet
 ing will include invited lectures and a forum for 
 participants to present contributed talks.  The sc
 ope of this event covers mathematical, computation
 al, and philosophical logic. The major topics incl
 ude (but are not limited to) the areas of Proof Th
 eory, Constructivism, Model Theory, Set Theory, Co
 mputability Theory, Algebra and Logic, Categorical
  Logic, Logic and Computer Science, Logic and Ling
 uistics, Logic in AI and Multi-Agent Systems, Logi
 cs of Games, Modal and other non-classical Logics,
  Axiomatic Theories of Truth, and Philosophical Lo
 gic.  For more information, see scandiavianlogic d
 ot org or contact sls2018 at flov.gu.se.  Abstract
 s of contributed talks must be submitted as pdf fi
 les via EasyChair. The abstracts should be prepare
 d according to the ASL abstract guidelines.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The prima
 ry aim of the Symposium is to promote research in 
 the field of logic (broadly conceived) carried out
  in research communities in Scandinavia. Moreover,
  it warmly invites participation of logicians from
  all over the world. The meeting will include invi
 ted lectures and a forum for participants to prese
 nt contributed talks.</p>\n\n  <p>The scope of thi
 s event covers mathematical, computational, and ph
 ilosophical logic. The major topics include (but a
 re not limited to) the areas of Proof Theory, Cons
 tructivism, Model Theory, Set Theory, Computabilit
 y Theory, Algebra and Logic, Categorical Logic, Lo
 gic and Computer Science, Logic and Linguistics, L
 ogic in AI and Multi-Agent Systems, Logics of Game
 s, Modal and other non-classical Logics, Axiomatic
  Theories of Truth, and Philosophical Logic.</p>\n
 \n  <p>For more information, see scandiavianlogic 
 dot org or contact <a class="email" href="#">sls20
 18<span class="at">&nbsp;at&nbsp;</span>flov.gu.se
 </a>.</p>\n</div><div>\n  <p>Abstracts of contribu
 ted talks must be submitted as pdf files via EasyC
 hair. The abstracts should be prepared according t
 o the ASL abstract guidelines.</p>\n</div>
URL:/NewsandEvents/Archives/2018/newsitem/9699/11-
 --13-June-2018-Tenth-Scandinavian-Logic-Symposium-
 SLS-2018-Gothenburg-Sweden
END:VEVENT
END:VCALENDAR