Tuesday, June 07 |
Noncommutative Geometry
Time: 11:00
Speaker: (Western) Title: "Path Integrals 2" Room: MC 106 Abstract: Homotopy Theory
Time: 13:30
Speaker: Dan Christensen (Western) Title: "Computation and data structures in Coq" Room: MC 107 Abstract: I will give an overview of how to do computations in Coq, including non-trivial recursive computations. I will also describe data structures such as lists and trees, and show how they can be manipulated. |
Department of Mathematics
the University of Western Ontario
Copyright © 2004-2017
For technical inquiries email