|Titles and Short Abstracts Due||3 January 2017|
|Full Papers Due||9 January 2017|
|Author Feedback/Rebuttal Period||28 February – 4 March 2017|
|Author Notification||21 March 2017|
|Final Versions Due for Proceedings||18 April 2017|
|Early Registration Deadline||TBC 2017|
|Conference||20–23 June 2017 2017|
The symposium is sponsored by ACM SIGLOG and the IEEE Technical Committee on Mathematical Foundations of Computing, and by Microsoft Research, in cooperation with the Association for Symbolic Logic, the European Association for Theoretical Computer Science, Reyjavik University, and the Icelandic Centre of Excellence in Theoretical Computer Science.