[TYPES/announce] Logic in Stockholm 2017: Call for Submissions and Participation

[Roussanka Loukanova]

-------------------------------------------------------------------
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
-------------------------------------------------------------------
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20170418/dd476d09/attachment-0001.html>