Mar
21
Fri
Mar 21 @ 1:30 pm – Mar 21 @ 2:30 pm
Title: Subdirectly irreducible algebras and $\Sigma^0_3$-completeness
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
17
Thu
Apr 17 @ 1:30 pm – Apr 17 @ 2:45 pm
Title: Monoidal Computer
Apr
28
Mon
Apr 28 @ 11:30 am – 12:30 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.
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