The Lovasz local lemma and its application in logic / theoretical computer science
Topic: Nondeterministic finite state complexity
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.