Apr
28
Mon
Apr 28 @ 11:30 am – 12:30 pm
Apr
29
Tue
Apr 29 @ 1:30 pm – Apr 29 @ 2:05 pm
Apr 29 @ 2:10 pm – 2:45 pm
May
1
Thu
May 1 @ 1:30 pm – May 1 @ 2:05 pm
May 1 @ 2:10 pm – 2:45 pm
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