The symposium is sponsored by ACM SIGLOG and the IEEE Technical Committee on Mathematical Foundations of Computing, and by Microsoft Research and Google, 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.
Website by Sam Staton based on a bootstrap design by Hartmut Eilers and Eric Koskinen.