All events will be held on the Columbia University campus. The (main) entrance to Columbia University is at
| West 116th Street New York, NY USA [Google Maps] |
The symposium is sponsored by ACM SIGLOG and the IEEE Technical Committee on Mathematical Foundations of Computing, in cooperation with the Association for Symbolic Logic and the European Association for Theoretical Computer Science.
Website built with bootstrap by Hartmut Eilers and Eric Koskinen.