January 7, Tuesday
12:00 – 14:00
Building a Digital Library of Formal Mathematics
Computer Science seminar
Lecturer : Robert Constable
Lecturer homepage : http://www.cs.cornell.edu/home/rc/
Affiliation : Cornell University
Location : -101/58