All events will be held on the Columbia University campus. The (main) entrance to Columbia University is at
|West 116th Street|
New York, NY
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.