Calendar

Sun Mon Tue Wed Thu Fri Sat
1
Logic seminar: Achilles Beros 1:30 pm
Logic seminar: Achilles Beros
Sep 1 @ 1:30 pm – Sep 1 @ 2:20 pm
Achilles Beros will speak on “Algorithmic learning and the arithmetic hierarchy” Summary: I will present a theorem from my thesis that establishes the arithmetic complexity of a well-known learning criterion. Two other papers have been[...]
2
3
4
5
6
7
8
Logic seminar: Mushfeq Khan 1:30 pm
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[...]
9
10
11
12
13
14
15
Logic seminar: Manabu Hagiwara 1:30 pm
Logic seminar: Manabu Hagiwara @ Keller 303
Sep 15 @ 1:30 pm – Sep 15 @ 2:30 pm
I will give a tutorial talk, how to use LEAN and Coq/MathCopm.SSReflect, which are famous proof assistant systems. Keller 303
16
17
18
19
20
21
22
Logic seminar: Mushfeq Khan 1:30 pm
Logic seminar: Mushfeq Khan
Sep 22 @ 1:30 pm – Sep 22 @ 2:30 pm
This week Mushfeq Khan is continuing his seminar from 2 weeks ago on “Turing degrees and Muchnik degrees of recursively bounded DNR functions”. Summary: This talk is based on a forthcoming paper by Steve Simpson.[...]
23
24
25
26
27
28
29
Logic Seminar: William DeMeo 1:30 pm
Logic Seminar: William DeMeo @ Keller 303
Sep 29 @ 1:30 pm – Sep 29 @ 2:20 pm
TITLE: The Algebraic Approach to Determining the Complexity of Constraint Satisfaction Problems SPEAKER: William DeMeo ABSTRACT: The “CSP-dichotomy conjecture” of Feder and Vardi asserts that every constraint satisfaction problem (CSP) is in P or is[...]
30