Logic in Stockholm 2017: Call for Submissions and Participation

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Logic in Stockholm 2017: Call for Submissions and Participation

Roussanka Loukanova
-------------------------------------------------------------------
Logic in Stockholm 2017
August 7-25, 2017, Stockholm, Sweden

-------------------------------------------------------------------

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)

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)

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)

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

------------
August 16–19
Workshop on Logic and Algorithms in Computational Linguistics 2017, LACompLing2017

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

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:
-------------------------------------------------------------------

_______________________________________________
Concurrency-interest mailing list
[hidden email]
http://cs.oswego.edu/mailman/listinfo/concurrency-interest
Loading...