Skip to main content
University of Pennsylvania
School of Arts and Sciences
Penn A-Z
Penn Calendar
Department of
Mathematics
Search form
Search
Search
Department of Mathematics
Home
About
People
Undergraduate
Graduate
Courses
News
Events
Contact
Search
Search
Fault origin adjudication
Logic and Computation Seminar
Monday, November 13, 2000 - 4:30pm
Karthikeyan Bhargavan
University of Pennsylvania
Location
University of Pennsylvania
Moore 554
Press for Abstract