Calendar

Feb
23
Tue
Theory of Computation Seminar @ Physical Science Building 317
Feb 23 @ 2:20 pm – 3:00 pm

Jason Castiglione (ICS, UH-Manoa) will explain the Berlekamp-Massey algorithm for decoding pseudorandom output from a linear feedback state register.

Mar
15
Tue
Kostas Beros: Normal numbers and a completeness result in the difference hierarchy
Mar 15 @ 2:30 pm – 3:30 pm

Speaker: Kostas Beros (U. North Texas)

Title: Normal numbers and a completeness result in the difference hierarchy

Abstract: In this talk I consider a natural set of real numbers, arising in ergodic theory, and show that it is Wadge-complete for the class of differences of $F_{\sigma\delta}$ sets. I will recall basic definitions and motivate my result with a discussion of related theorems from the past twenty years.

Logic seminar

Keller Hall 401

Apr
7
Thu
Mushfeq Khan: The cupping property @ Keller Hall 314
Apr 7 @ 2:30 pm – 3:30 pm
Apr
14
Thu
Mushfeq Khan: The Cupping Property (cont’d) @ Keller Hall 314
Apr 14 @ 2:30 pm – 3:30 pm
Sep
1
Thu
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 published since then that continue the line of research. I will
discuss the newer papers as well as broader connections between
recursion theory and learning theory.

Keller Hall 303

Sep
8
Thu
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 contains
some results that shed light on a part of the Muchnik lattice that remains
poorly understood: the various degrees of recursively bounded DNR functions
obtained by varying the recursive bound.

Keller 303

Sep
15
Thu
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

Sep
22
Thu
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. It contains
some results that shed light on a part of the Muchnik lattice that remains
poorly understood: the various degrees of recursively bounded DNR functions
obtained by varying the recursive bound.

Keller Hall 303