<div dir="ltr"><div><div class="gmail-m_-8096093958382951177gmail_signature"><div class="gmail-m_-8096093958382951177gmail_signature">-------------------------------------------------------------------</div><div class="gmail-m_-8096093958382951177gmail_signature">Logic in Stockholm 2017</div><div class="gmail-m_-8096093958382951177gmail_signature">August 7-25, 2017, Stockholm, Sweden</div><div class="gmail-m_-8096093958382951177gmail_signature"><br></div><div class="gmail-m_-8096093958382951177gmail_signature"><a href="https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2">https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2</a></div><div class="gmail-m_-8096093958382951177gmail_signature">-------------------------------------------------------------------</div><div class="gmail-m_-8096093958382951177gmail_signature"><br></div><div class="gmail-m_-8096093958382951177gmail_signature">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:</div><div class="gmail-m_-8096093958382951177gmail_signature"><br></div><div class="gmail-m_-8096093958382951177gmail_signature">------------</div><div class="gmail-m_-8096093958382951177gmail_signature">August 7–11, 2017</div><div class="gmail-m_-8096093958382951177gmail_signature">The Third Nordic Logic Summer School, NLS 2017,</div><div class="gmail-m_-8096093958382951177gmail_signature">under the auspices of the Scandinavian Logic Society (SLS)</div><div class="gmail-m_-8096093958382951177gmail_signature"><a href="https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2/nls-summer-school-in">https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2/nls-summer-school-in</a></div><div class="gmail-m_-8096093958382951177gmail_signature"><br></div><div class="gmail-m_-8096093958382951177gmail_signature">Submission of abstracts for presentations and posters:</div><div class="gmail-m_-8096093958382951177gmail_signature">Closing: May 2, 2017</div><div class="gmail-m_-8096093958382951177gmail_signature">Notification of acceptance: May 9, 2017</div><div class="gmail-m_-8096093958382951177gmail_signature"><br></div><div class="gmail-m_-8096093958382951177gmail_signature">Grant applications:</div><div class="gmail-m_-8096093958382951177gmail_signature">Deadline for applications: April 24, 2017</div><div class="gmail-m_-8096093958382951177gmail_signature">Notification: May 9, 2017</div><div class="gmail-m_-8096093958382951177gmail_signature"><br></div><div class="gmail-m_-8096093958382951177gmail_signature">------------</div><div class="gmail-m_-8096093958382951177gmail_signature">August 14–20, 2017</div><div class="gmail-m_-8096093958382951177gmail_signature">The 2017 ASL European Summer Meeting (Logic Colloquium), LC 2017,</div><div class="gmail-m_-8096093958382951177gmail_signature">under the auspices of the Association of Symbolic Logic (ASL)</div><div class="gmail-m_-8096093958382951177gmail_signature"><a href="https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2/logic-colloquium-201">https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2/logic-colloquium-201</a></div><div class="gmail-m_-8096093958382951177gmail_signature"><br></div><div class="gmail-m_-8096093958382951177gmail_signature">Submissions:</div><div class="gmail-m_-8096093958382951177gmail_signature">Abstracts: May 5, 2017</div><div class="gmail-m_-8096093958382951177gmail_signature">Notification: May 19, 2017</div><div class="gmail-m_-8096093958382951177gmail_signature"><br></div><div class="gmail-m_-8096093958382951177gmail_signature">Grant applications:</div><div class="gmail-m_-8096093958382951177gmail_signature">Deadline for applications: May 8, 2017</div><div class="gmail-m_-8096093958382951177gmail_signature"><br></div><div class="gmail-m_-8096093958382951177gmail_signature">------------</div><div class="gmail-m_-8096093958382951177gmail_signature">August 20–24</div><div class="gmail-m_-8096093958382951177gmail_signature">The 26th EACSL Annual Conference on Computer Science Logic, CSL 2017,</div><div class="gmail-m_-8096093958382951177gmail_signature">under the auspices of the European Association for Computer Science Logic (EACSL)</div><div class="gmail-m_-8096093958382951177gmail_signature"><a href="https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2/26th-eacsl-annual-co">https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2/26th-eacsl-annual-co</a></div><div class="gmail-m_-8096093958382951177gmail_signature"><br></div><div class="gmail-m_-8096093958382951177gmail_signature">Open Submissions:</div><div class="gmail-m_-8096093958382951177gmail_signature">Abstracts of short presentations: June 4, 2017</div><div class="gmail-m_-8096093958382951177gmail_signature"><br></div><div class="gmail-m_-8096093958382951177gmail_signature">Joint LC 2017 and CSL 2017 special session: August 20, 2017</div><div class="gmail-m_-8096093958382951177gmail_signature"><br></div><div class="gmail-m_-8096093958382951177gmail_signature">Satellite workshops: August 16–19 & 25, 2017</div><div class="gmail-m_-8096093958382951177gmail_signature"><a href="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">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</a></div><div class="gmail-m_-8096093958382951177gmail_signature"><br></div><div class="gmail-m_-8096093958382951177gmail_signature">------------</div><div class="gmail-m_-8096093958382951177gmail_signature">August 16–19</div><div class="gmail-m_-8096093958382951177gmail_signature">Workshop on Logic and Algorithms in Computational Linguistics 2017, LACompLing2017</div><div class="gmail-m_-8096093958382951177gmail_signature"><a href="http://staff.math.su.se/rloukanova/LACompLing17.html">http://staff.math.su.se/rloukanova/LACompLing17.html</a></div><div class="gmail-m_-8096093958382951177gmail_signature"><br></div><div class="gmail-m_-8096093958382951177gmail_signature">Submission of regular papers: April 30, 2017 (extended)</div><div class="gmail-m_-8096093958382951177gmail_signature">Notification: May 31, 2017</div><div class="gmail-m_-8096093958382951177gmail_signature">Abstracts of short presentations: June 4, 2017</div><div class="gmail-m_-8096093958382951177gmail_signature">Notifications for short presentations: June 12, 2017</div><div class="gmail-m_-8096093958382951177gmail_signature">Final submissions: June 25, 2017</div><div class="gmail-m_-8096093958382951177gmail_signature">Workshop: August 16–19, 2017</div><div class="gmail-m_-8096093958382951177gmail_signature"><br></div><div class="gmail-m_-8096093958382951177gmail_signature">------------</div><div class="gmail-m_-8096093958382951177gmail_signature">August 25</div><div class="gmail-m_-8096093958382951177gmail_signature">Workshop on Logical Aspects of Multi-Agent Systems, LAMAS 2017</div><div class="gmail-m_-8096093958382951177gmail_signature"><a href="http://www.cs.nott.ac.uk/~psznza/lamas17/">http://www.cs.nott.ac.uk/~psznza/lamas17/</a></div><div class="gmail-m_-8096093958382951177gmail_signature"><br></div><div class="gmail-m_-8096093958382951177gmail_signature">Submission: June 4 2017</div><div class="gmail-m_-8096093958382951177gmail_signature">Notification: June 15 2017</div><div class="gmail-m_-8096093958382951177gmail_signature">Workshop: August 25 2017</div><div class="gmail-m_-8096093958382951177gmail_signature"><br></div><div class="gmail-m_-8096093958382951177gmail_signature">------------</div><div class="gmail-m_-8096093958382951177gmail_signature">August 25</div><div class="gmail-m_-8096093958382951177gmail_signature">Workshop on Logic and Automata Theory in memory of Zoltán Ésik</div><div class="gmail-m_-8096093958382951177gmail_signature"><br></div><div class="gmail-m_-8096093958382951177gmail_signature">-------------------------------------------------------------------</div><div class="gmail-m_-8096093958382951177gmail_signature">Registration is open for all events:</div><div class="gmail-m_-8096093958382951177gmail_signature"><a href="https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2">https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2</a></div><div class="gmail-m_-8096093958382951177gmail_signature">-------------------------------------------------------------------</div></div></div>
</div>