| Sun | Mon | Tue | Wed | Thu | Fri | Sat |
|---|---|---|---|---|---|---|
|
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[...]
|
||||||
|
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[...]
|
||||||
|
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
|
||||||
|
3.3: Jerk, surge, jolt and lurch
9:30 am
3.3: Jerk, surge, jolt and lurch
Sep 19 @ 9:30 am – 10:30 am
|
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.[...]
|
|||||
|
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[...]
|