"From the Fundamental Lemma to Discrete Geometry, to Formal Verification" conference in honor of Thomas C. Hales

rt.representation-theory oc.optimization-and-control nt.number-theory mg.metric-geometry lo.logic
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.