Courses at Tel-Aviv
Logic in CS Seminar
Workshop on Semantics and Verification of Hardware and Software Systems
Zohar Manna, Fulbright scholar (Spring 2003)
Logic Day at Tel-Aviv (Jan. 2001)
Logic and Computer Science Semester at Tel-Aviv (Spring 2004)