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
9:30a 2.5 9:30 am
9:30a 2.5
Sep 2 @ 9:30 am – 10:30 am
3
4
5
6
7
9:30 2.6 9:30 am
9:30 2.6
Sep 7 @ 9:30 am – 10:30 am
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
Review 9:30 am
Review
Sep 9 @ 9:30 am – 10:30 am
10
11
12
9:30 3.1 9:30 am
9:30 3.1
Sep 12 @ 9:30 am – 10:30 am
13
14
9:30 3.2 9:30 am
9:30 3.2
Sep 14 @ 9:30 am – 10:30 am
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
Midterm 1 9:30 am
Midterm 1
Sep 16 @ 9:30 am – 10:30 am
17
18
20
21
3.4: d(sin x)/dx 9:30 am
3.4: d(sin x)/dx
Sep 21 @ 9:30 am – 10:30 am
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
3.5: Chain rule 9:30 am
3.5: Chain rule
Sep 23 @ 9:30 am – 10:30 am
24
25
27
28
3.7: Related rates 9:30 am
3.7: Related rates
Sep 28 @ 9:30 am – 10:30 am
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
3.8: Differentials 9:30 am
3.8: Differentials
Sep 30 @ 9:30 am – 10:30 am