Jul
9
Wed
Jul 9 @ 1:00 pm – Jul 9 @ 2:00 pm
Speaker: William DeMeo (Iowa State)
Title: Some constructive math and type theory, with a Coq demo.
Abstract: I will present a few basic ideas from constructive
mathematics and type theory, and give a very basic demonstration of
the Coq proof assistant.
Nov
21
Fri
Nov 21 @ 9:30 am – 10:30 am
Sep
18
Fri
Sep 18 @ 9:30 am – 10:30 am
Sep
25
Fri
Sep 25 @ 9:30 am – 10:30 am
Oct
2
Fri
Oct 2 @ 9:30 am – 10:30 am
Oct
9
Fri
Oct 9 @ 9:30 am – 10:30 am
Oct
16
Fri
Oct 16 @ 9:30 am – 10:30 am
Oct
23
Fri
Oct 23 @ 9:30 am – 10:30 am