Title:	Logic as the Calculus of Computer Science
Speaker:	Moshe Vardi
Abstract:	N/A