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
Automatic Abstraction through Syntactic Program Transformations
Logic and Computation Seminar
Monday, October 23, 2000 - 4:30pm
Kedar Namjoshi
Bell Labs
Location
University of Pennsylvania
Moore 554
Press for Abstract