Penn Arts & Sciences Logo

Logic and Computation Seminar

Monday, September 23, 2002 - 4:30pm

Davide Sangiorgi

INRIA-Sophia Antipolis, France and the University of Bologna, Italy

Location

University of Pennsylvania

Moore GRW 554