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/2017/newsitem/8949/7--
 -25-August-2017-Logic-in-Stockholm-2017-Stockholm-
 Sweden
DTSTAMP:20170420T142646
SUMMARY:Logic in Stockholm 2017, Stockholm, Sweden
DTSTART;TZID=Europe/Amsterdam:20170807T080000
DTEND;TZID=Europe/Amsterdam:20170825T220000
LOCATION:Stockholm, Sweden
DESCRIPTION:Logic in Stockholm 2017 is a series of
  logic related events organised by the Departments
  of Mathematics and Philosophy at Stockholm Univer
 sity, and the Group of Theoretical Computer Scienc
 e at KTH. The series consists of the following eve
 nts: August 7–11: The Third Nordic Logic Summer Sc
 hool,  NLS 2017August 14–20: The 2017 ASL European
  Summer Meeting (Logic Colloquium),  LC 2017August
  20–24: The 26th EACSL Annual Conference on Comput
 er Science Logic,  CSL 2017August 16–19: Workshop 
 on Logic and Algorithms in Computational Linguisti
 cs 2017,  LACompLing2017.August 25: Workshop on Lo
 gical Aspects of Multi-Agent Systems,  LAMAS 2017.
 August 25: Workshop on Logic and Automata Theory i
 n memory of Zoltán Ésik. See the conference homepa
 ges or the individual conference announcements for
  CFPs.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>Logic in Stock
 holm 2017 is a series of logic related events orga
 nised by the Departments of Mathematics and Philos
 ophy at Stockholm University, and the Group of The
 oretical Computer Science at KTH. The series consi
 sts of the following events:</p>\n\n  <ul>\n    <l
 i>August 7–11: The Third Nordic Logic Summer Schoo
 l,&nbsp; <a href="https://www.math-stockholm.se/en
 /konferenser-och-akti/logic-in-stockholm-2/nls-sum
 mer-school-in" target="_blank">NLS 2017</a></li>\n
 \n    <li>August 14–20: The 2017 ASL European Summ
 er Meeting (Logic Colloquium),&nbsp; <a href="http
 s://www.math-stockholm.se/en/konferenser-och-akti/
 logic-in-stockholm-2/logic-colloquium-201" target=
 "_blank">LC 2017</a></li>\n\n    <li>August 20–24:
  The 26th EACSL Annual Conference on Computer Scie
 nce Logic,&nbsp; <a href="https://www.math-stockho
 lm.se/en/konferenser-och-akti/logic-in-stockholm-2
 /26th-eacsl-annual-co" target="_blank">CSL 2017</a
 ></li>\n\n    <li>August 16–19: Workshop on Logic 
 and Algorithms in Computational Linguistics 2017,&
 nbsp; <a href="http://staff.math.su.se/rloukanova/
 LACompLing17.html" target="_blank">LACompLing2017<
 /a>.</li>\n\n    <li>August 25: Workshop on Logica
 l Aspects of Multi-Agent Systems,&nbsp; <a href="h
 ttp://www.cs.nott.ac.uk/%7Epsznza/lamas17/" target
 ="_blank">LAMAS 2017</a>.</li>\n\n    <li>August 2
 5: Workshop on&nbsp;Logic and Automata Theory&nbsp
 ;in memory of Zoltán Ésik.</li>\n  </ul>\n\n  <p>S
 ee the conference homepages or the individual conf
 erence announcements for CFPs.</p>\n
URL:https://www.math-stockholm.se/en/konferenser-o
 ch-akti/logic-in-stockholm-2
CONTACT:Valentin Goranko at valentin.goranko at ph
 ilosophy.su.se
END:VEVENT
END:VCALENDAR