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
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:
\n\nS ee the conference homepages or the individual conf erence announcements for CFPs.
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