All conferences / CSL / 2017
CSL 2017
26th EACSL Annual Conference on Computer Science Logic
Submission timeline
- 24 Mar 2017 Abstract registration
- 31 Mar 2017 Full paper
- 31 May 2017 Notification
- 20 Aug 2017 Conference opens
What to submit
- Format
- 15 pages LIPIcs
- Proceedings
- LIPIcs — CC BY