May
6
Tue
May 6 @ 2:10 pm – 2:45 pm
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.
Aug
26
Tue
Aug 26 @ 12:00 pm – 1:15 pm
Aug
27
Wed
Aug 27 all-day
Sep
3
Wed
Sep 3 all-day
Sep
10
Wed
Sep 10 all-day
Sep 10 all-day
Sep
17
Wed
Sep 17 all-day
Sep 17 all-day
Sep
23
Tue
Sep 23 @ 12:00 pm – 1:00 pm
Sep
24
Wed
Sep 24 all-day
Sep 24 all-day
Sep
25
Thu
Sep 25 @ 12:00 pm – 1:00 pm
Oct
1
Wed
Oct 1 all-day
Oct 1 all-day
Oct
2
Thu
Oct 2 @ 12:00 pm – 1:00 pm
Oct 2 @ 12:00 pm – 1:00 pm
Oct
8
Wed
Oct 8 all-day
Oct 8 all-day
Oct
15
Wed
Oct 15 all-day
Oct 15 all-day
Oct
22
Wed
Oct 22 all-day
Oct 22 all-day
Oct
29
Wed
Oct 29 all-day
Oct 29 all-day
Oct
30
Thu
Oct 30 @ 12:00 pm – 1:00 pm
Nov
4
Tue
Nov 4 all-day
Nov
5
Wed
Nov 5 all-day
Nov
11
Tue
Nov 11 all-day
Nov
12
Wed
Nov 12 all-day