Logic in Stockholm 2017

NLS Summer School in Logic 2017

Logic Colloquium 2017

26th EACSL Annual Conference on Computer Science Logic CSL'2017

Submission instructions

Submissions for research presentations are invited.

The presentations will have one of two formats:
1) 20 minutes presentation.
2) 10 minutes presentation poster.

Please submit an abstract (max 2 pages) via the EasyChair system at https://easychair.org/conferences/?conf=nls2017. Also indicate which format of presentation is preferred.