| 6 Sun | 7 Mon | 8 Tue | 9 Wed | 10 Thu | 11 Fri | 12 Sat |
|---|---|---|---|---|---|---|
|
All-day
|
||||||
|
12:00 am
1:00 am
2:00 am
3:00 am
4:00 am
5:00 am
6:00 am
7:00 am
8:00 am
9:00 am
10:00 am
11:00 am
12:00 pm
1:00 pm
2:00 pm
3:00 pm
4:00 pm
5:00 pm
6:00 pm
7:00 pm
8:00 pm
9:00 pm
10:00 pm
11:00 pm
|
|
|
1:00 pm
Constructive math and type theory, with a Coq demo
@ Keller Hall 314
Constructive math and type theor...
@ Keller Hall 314
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[...]
|
|
|
|