Calendar

4 Sun 5 Mon 6 Tue 7 Wed 8 Thu 9 Fri 10 Sat
All-day
12:00 am
1:00 am
2:00 am
3:00 am
4:00 am
5:00 am
6:00 am
7:00 am
8:00 am
9:00 am
10:00 am
11:00 am
12:00 pm
1:00 pm
2:00 pm
3:00 pm
4:00 pm
5:00 pm
6:00 pm
7:00 pm
8:00 pm
9:00 pm
10:00 pm
11:00 pm
1:30 pm Logic seminar: Mushfeq Khan @ Keller Hall 303
Logic seminar: Mushfeq Khan @ Keller Hall 303
Sep 8 @ 1:30 pm – Sep 8 @ 2:30 pm
This week the Sporadic Logic Seminar will be Mushfeq Khan speaking on “Turing degrees and Muchnik degrees of recursively bounded DNR functions”. Summary: This talk is based on a forthcoming paper by Steve Simpson. It[...]