[Corpora-List] Logic in Stockholm 2017: Call for Submissions and Participation

Roussanka Loukanova rl.stpuu at gmail.com
Tue Apr 18 18:00:41 CEST 2017


------------------------------------------------------------------- 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 -------------- A non-text attachment was scrubbed... Name: not available Type: text/html Size: 10646 bytes Desc: not available URL: <https://mailman.uib.no/public/corpora/attachments/20170418/6298267b/attachment.txt>



More information about the Corpora mailing list