Calendar

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
Oct
2
Fri
Achilles Beros: A diagonally non-computable function (II)
Oct 2 @ 9:30 am – 10:30 am
Oct
9
Fri
Mushfeq Khan: A slow-growing diagonally non-computable function that computes no effectively bi-immune set
Oct 9 @ 9:30 am – 10:30 am
Oct
16
Fri
Mushfeq Khan: A slow-growing diagonally non-computable function that computes no effectively bi-immune set II
Oct 16 @ 9:30 am – 10:30 am
Oct
23
Fri
Mushfeq Khan: A slow-growing diagonally non-computable function that computes no effectively bi-immune set
Oct 23 @ 9:30 am – 10:30 am