Mar
19
Wed
Mar 19 @ 1:30 pm – Mar 19 @ 2:30 pm
Speaker: Bjørn Kjos-Hanssen
Abstract: I will just explain what this famous problem is all about and probably draw some Turing machines on the board. This is part of Math 480 (senior seminar) but open to other attendees.
Mar
21
Fri
Mar 21 @ 1:30 pm – Mar 21 @ 2:30 pm
Title: Subdirectly irreducible algebras and $\Sigma^0_3$-completeness
Apr
8
Tue
Apr 8 @ 1:30 pm – Apr 8 @ 2:30 pm
Apr
10
Thu
Apr 10 @ 1:30 pm – Apr 10 @ 2:30 pm
Apr
11
Fri
Apr 11 @ 1:30 pm – Apr 11 @ 2:30 pm
The $\Sigma^0_3$-completeness of the problem of subdirect irreducibility of an algebra.
Apr
15
Tue
Apr 15 @ 1:30 pm – Apr 15 @ 2:30 pm
Apr
17
Thu
Apr 17 @ 1:30 pm – Apr 17 @ 2:45 pm
Title: Monoidal Computer
Apr
22
Tue
Apr 22 @ 1:30 pm – Apr 22 @ 2:30 pm
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