Speaker: Malihe Alikhani
Title: The longest run of heads and tails
Abstract: The distribution of the longest run of heads or tails in a coin flip sequence will be discussed, along with possible strategies for trying to stop at approximately the end of a longest run.

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.

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

The $\Sigma^0_3$-completeness of the problem of subdirect irreducibility of an algebra.

Title: Monoidal Computer

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.