homeHome ViewLayout PrintPrinter Friendly   searchSearch LoginAdd Event
Mathematics Calendar

June 07, 2016
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.