Symposium on Logical Foundations Of Computer Science
For any questions please contact Prof. Sergei Artemov at sartemov@gc.cuny.edu