Calendar

Mar
21
Fri
Computability seminar: Paul Nguyen @ Keller 414
Mar 21 @ 1:30 pm – Mar 21 @ 2:30 pm

Title: Subdirectly irreducible algebras and $\Sigma^0_3$-completeness

Apr
11
Fri
Computability seminar: Paul Nguyen @ Keller 414
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
Computability seminar: Dusko Pavlovic @ Keller 401
Apr 17 @ 1:30 pm – Apr 17 @ 2:45 pm

Title: Monoidal Computer

Apr
28
Mon
Probability seminar: Malihe Alikhani @ Keller 402
Apr 28 @ 11:30 am – 12:30 pm
Jul
9
Wed
Constructive math and type theory, with a Coq demo @ 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 demonstration of
the Coq proof assistant.

Nov
21
Fri
Bjørn Kjos-Hanssen: Kolmogorov structure functions for automatic complexity @ Keller 414
Nov 21 @ 9:30 am – 10:30 am
Sep
18
Fri
David Webb: The Pumping Lemma for Context-Free Languages
Sep 18 @ 9:30 am – 10:30 am
Sep
25
Fri
Achilles Beros: A diagonally non-computable function that computes no effectively bi-immune set
Sep 25 @ 9:30 am – 10:30 am