"From the Fundamental Lemma to Discrete Geometry, to Formal Verification" conference in honor of Thomas C. Hales
- Start Date
- 2018-06-18
- End Date
- 2018-06-22
- Institution
- University of Pittsburgh
- City
- Pittsburgh, PA
- Country
- USA
- Meeting Type
- conference
- Homepage
- http://www.mathematics.pitt.edu/hales60/
- Contact Name
- Chris Kapulkin
- Created
- Modified
Description
none
Problems?
If you notice a problem with this entry, please contact the curators by email.