7-25 Aug 2017
Stockholm, Sweden
------------------------------------------------------------------- Logic in Stockholm 2017 August 7-25, 2017, Stockholm, Sweden https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2 ------------------------------------------------------------------- Logic in Stockholm 2017 is a series of logic related events organised by the Departments of Mathematics and Philosophy at Stockholm University, and the Group of Theoretical Computer Science at KTH. The series consists of the following events: ------------ August 7?11, 2017 The Third Nordic Logic Summer School, NLS 2017, under the auspices of the Scandinavian Logic Society (SLS) https://www.math-stockholm.se/en/konferenser-och-akti/logic- in-stockholm-2/nls-summer-school-in Submission of abstracts for presentations and posters: Closing: May 2, 2017 Notification of acceptance: May 9, 2017 Grant applications: Deadline for applications: April 24, 2017 Notification: May 9, 2017 ------------ August 14?20, 2017 The 2017 ASL European Summer Meeting (Logic Colloquium), LC 2017, under the auspices of the Association of Symbolic Logic (ASL) https://www.math-stockholm.se/en/konferenser-och-akti/logic- in-stockholm-2/logic-colloquium-201 Submissions: Abstracts: May 5, 2017 Notification: May 19, 2017 Grant applications: Deadline for applications: May 8, 2017 ------------ August 20?24 The 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, under the auspices of the European Association for Computer Science Logic (EACSL) https://www.math-stockholm.se/en/konferenser-och-akti/logic- in-stockholm-2/26th-eacsl-annual-co Open Submissions: Abstracts of short presentations: June 4, 2017 Joint LC 2017 and CSL 2017 special session: August 20, 2017 Satellite workshops: August 16?19 & 25, 2017 https://www.math-stockholm.se/en/konferenser-och-akti/logic- in-stockholm-2/26th-eacsl-annual-co/csl-2017-affiliated- workshops-august-16-19-and-25-1.717706 ------------ August 16?19 Workshop on Logic and Algorithms in Computational Linguistics 2017, LACompLing2017 http://staff.math.su.se/rloukanova/LACompLing17.html Submission of regular papers: April 30, 2017 (extended) Notification: May 31, 2017 Abstracts of short presentations: June 4, 2017 Notifications for short presentations: June 12, 2017 Final submissions: June 25, 2017 Workshop: August 16?19, 2017 ------------ August 25 Workshop on Logical Aspects of Multi-Agent Systems, LAMAS 2017 http://www.cs.nott.ac.uk/~psznza/lamas17/ Submission: June 4 2017 Notification: June 15 2017 Workshop: August 25 2017 ------------ August 25 Workshop on Logic and Automata Theory in memory of Zoltán Ésik ------------------------------------------------------------------- Registration is open for all events: https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2 ------------------------------------------------------------------- -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam