Calendar

4 Mon
All-day
CCR 2016
CCR 2016
Jan 4 – Jan 8 all-day
CCR 2016
The 11th International Conference on Computability, Complexity and Randomness is held in Physical Science Building 217, University of Hawaii at Manoa, January 4–8, 2016. The conference is supported by the National Science Foundation under Grant[...]
12:00 am
1:00 am
2:00 am
3:00 am
4:00 am
5:00 am
6:00 am
7:00 am
8:00 am
9:00 am
10:00 am
11:00 am
12:00 pm
1:00 pm
2:00 pm
3:00 pm
4:00 pm
5:00 pm
6:00 pm
7:00 pm
8:00 pm
9:00 pm
10:00 pm
11:00 pm
9:45 am Opening of CCR 2016
Opening of CCR 2016
Jan 4 @ 9:45 am – 9:50 am
Opening of CCR 2016
Opening remarks 9:45 Erik Guentner (mathematics department chair) 9:46 Rod Downey (PC chair) 9:48 Bjørn Kjos-Hanssen (organizer) The dinner is at Lulu’s at 6pm at the intersection of Kapahulu and Kalakaua. Note the change since[...]
9:50 am Linda Brown Westrick
Linda Brown Westrick
Jan 4 @ 9:50 am – 10:40 am
Linda Brown Westrick
Speaker: Linda Brown Westrick. Title: Seas of squares with sizes from a co-enumerable set Slides Abstract: Three prominent classes of two-dimensional subshifts are the shifts of finite type (SFTs), the sofic shifts, and the effectively[...]
10:40 am Coffee break
Coffee break
Jan 4 @ 10:40 am – 11:40 am
Coffee break
11:10 am Valentina Harizanov
Valentina Harizanov
Jan 4 @ 11:10 am – 11:40 am
Valentina Harizanov
Title: Degrees of the isomorphism types of structures Slides The Turing degree spectrum of a countable structure $A$ is the set of all Turing degrees of the isomorphic copies of $A$. Knight proved that the[...]
11:40 am Jake Pardo
Jake Pardo
Jan 4 @ 11:40 am – 12:10 pm
Jake Pardo
Title: Gambling against some odds
12:00 pm Lunch break
Lunch break
Jan 4 @ 12:00 pm – Jan 4 @ 2:00 pm
Lunch break
2:00 pm Lance Fortnow: Tutorial I
Lance Fortnow: Tutorial I
Jan 4 @ 2:00 pm – 2:50 pm
Lance Fortnow: Tutorial I
Title: Bounding rationality with computation
2:50 pm Adam Case
Adam Case
Jan 4 @ 2:50 pm – 3:20 pm
Adam Case
Title: Turing Reductions and Data Processing Inequalities for Sequences
3:50 pm Hayato Takahashi
Hayato Takahashi
Jan 4 @ 3:50 pm – 4:20 pm
Hayato Takahashi