Calendar

Feb
26
Tue
4.3
Feb 26 @ 9:00 am – 10:00 am
Feb
28
Thu
4.4
Feb 28 @ 9:00 am – 10:00 am
Mar
4
Mon
Gateway exams this week
Mar 4 all-day
Mar
5
Tue
4.5
Mar 5 @ 9:00 am – 10:00 am
Mar
6
Wed
Logic&Probability seminar-Malihe Alikhani (UHM) @ Keller Hall 313
Mar 6 @ 1:30 pm – Mar 6 @ 2:30 pm

The Lovasz local lemma and its application in logic / theoretical computer science

Mar
7
Thu
4.5
Mar 7 @ 9:00 am – 10:00 am
Mar
11
Mon
Gateway exams this week
Mar 11 all-day
Mar
12
Tue
4.6
Mar 12 @ 9:00 am – 10:00 am
Mar
14
Thu
4.7
Mar 14 @ 9:00 am – 10:00 am
Mar
18
Mon
Gateway exams this week
Mar 18 all-day
Mar
19
Tue
Midterm II (3.6, 3.7, 3.8, 3.9, 4.1, 4.2, 4.3)
Mar 19 @ 9:00 am – 10:00 am
Mar
21
Thu
5.1, 2
Mar 21 @ 9:00 am – 10:00 am
Mar
22
Fri
Last Gateway exam
Mar 22 @ 9:30 am – 10:30 am
Apr
2
Tue
5.3
Apr 2 @ 9:00 am – 10:00 am
Apr
4
Thu
5.4
Apr 4 @ 9:00 am – 10:00 am
Apr
9
Tue
5.5
Apr 9 @ 9:00 am – 10:00 am
Apr
11
Thu
5.6
Apr 11 @ 9:00 am – 10:00 am
Apr
16
Tue
6.1
Apr 16 @ 9:00 am – 10:00 am
Apr
17
Wed
Logic&Probability seminar-Kayleigh Hyde (UHM) @ George Hall 213
Apr 17 @ 1:30 pm – Apr 17 @ 2:30 pm

Topic: Nondeterministic finite state complexity

Apr
18
Thu
6.1
Apr 18 @ 9:00 am – 10:00 am
Apr
23
Tue
6.2
Apr 23 @ 9:00 am – 10:00 am
Apr
25
Thu
6.2: Doughnut volume
Apr 25 @ 9:00 am – 10:00 am
Apr
30
Tue
Final from Spring 2012
Apr 30 @ 9:00 am – 10:00 am
Jan
14
Tue
1.1-1.2 Class of regular languages closed under union
Jan 14 @ 1:30 pm – 2:45 pm
Jan
21
Tue
NFA=DFA=regex
Jan 21 @ 1:30 pm – Jan 21 @ 2:30 pm
Jan
23
Thu
Automatic complexity
Jan 23 @ 1:30 pm – Jan 23 @ 2:30 pm
Jan
28
Tue
3.1 (Turing machines)
Jan 28 @ 1:30 pm – Jan 28 @ 2:30 pm
Mar
10
Mon
Probability seminar: Malihe Alikhani @ Keller 414
Mar 10 @ 1:30 pm – Mar 10 @ 2:30 pm

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.

Mar
19
Wed
Computability Seminar: P vs. NP @ Keller 404
Mar 19 @ 1:30 pm – Mar 19 @ 2:30 pm

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.

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