Photo by "Vancouver Skyline" by domo k, CC-BY 2.0 (flickr). Some rights reserved.
Sat 22 June 2019
Sun 23 June 2019
|Titles and Short Abstracts Due||4 January 2019|
|Full Papers Due||11 January 2019|
|Author Feedback/Rebuttal Period||4–8 March 2019|
|Author Notification||29 March 2019|
|Early registration deadline|
|Conference||24–27 June 2019|
The symposium is sponsored by ACM SIGLOG, the IEEE Technical Committee on Mathematical Foundations of Computing, the Association for Symbolic Logic, the European Association for Theoretical Computer Science, the Pacific Institute for the Mathematical Sciences, Simon Fraser University, and Google.