Sun | Mon | Tue | Wed | Thu | Fri | Sat |
---|---|---|---|---|---|---|
CCR 2016
CCR 2016
Jan 4 – Jan 8 all-day
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[...]
Opening of CCR 2016
9:45 am
Opening of CCR 2016
Jan 4 @ 9:45 am – 9:50 am
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[...]
Linda Brown Westrick
9:50 am
Linda Brown Westrick
Jan 4 @ 9:50 am – 10:40 am
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[...]
Coffee break
10:40 am
Valentina Harizanov
11:10 am
Valentina Harizanov
Jan 4 @ 11:10 am – 11:40 am
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[...]
Jake Pardo
11:40 am
Lunch break
12:00 pm
Lance Fortnow: Tutorial I
2:00 pm
Adam Case
2:50 pm
Adam Case
Jan 4 @ 2:50 pm – 3:20 pm
Title: Turing Reductions and Data Processing Inequalities for Sequences
Hayato Takahashi
3:50 pm
|
Uri Andrews
9:10 am
Coffee break
10:00 am
Satyadev Nandakumar
10:30 am
Rod Downey
11:30 am
Rod Downey
Jan 5 @ 11:30 am – 12:00 pm
Title: A minimal degree computable from a weakly 2-generic one Slides
Lunch break
12:00 pm
Lance Fortnow: Tutorial II
2:00 pm
Jeffrey Shallit
2:50 pm
|
Cristobal Rojas
9:10 am
Cristobal Rojas
Jan 6 @ 9:10 am – 10:00 am
Title: Computability and complexity of random perturbations of dynamical systems
Coffee break
10:00 am
Benoit Monin
10:30 am
Greg Igusa
11:00 am
Greg Igusa
Jan 6 @ 11:00 am – 11:30 am
Title: Generic computability and coarse computability Joint work with Peter Cholak and Rod Downey.
Lance Fortnow: Tutorial III
11:30 am
Lance Fortnow: Tutorial III
Jan 6 @ 11:30 am – 12:20 pm
Title: Bounding rationality with computation
Free afternoon
12:20 pm
|
Ron Peretz
9:10 am
Coffee break
10:00 am
Rutger Kuyper
10:30 am
Rutger Kuyper
Jan 7 @ 10:30 am – 11:00 am
Title: Preservation of randomness and genericity under symmetric differences Abstract: Title: Preservation of randomness and genericity under symmetric differences Abstract: Given a class $\mathcal U$ of subsets of the natural numbers, let us say that[...]
Wolfgang Merkle
11:30 am
Wolfgang Merkle
Jan 7 @ 11:30 am – 12:00 pm
Title: Being low for $\mathrm{K}$ along sequences and elsewhere Slides Abstract: Given a set $D$ of strings, say a sequence $X$ is low for prefix-free Kolmogorov complexity $\mathrm{K}$ on $D$ in case access to $X$[...]
Lunch break
12:00 pm
Rupert Hölzl
2:00 pm
Rupert Hölzl
Jan 7 @ 2:00 pm – 2:30 pm
Title: Randomness for Computable Measures and Initial Segment Complexity Slides Joint work with Christopher P. Porter.
Dan Turetsky
2:30 pm
Dan Turetsky
Jan 7 @ 2:30 pm – 3:20 pm
Title: The complexity of free abelian groups Slides Abstract: Vector spaces are defined by a set of first-order axioms; the theorem every vector space has a basis is second-order, but is a consequence of these[...]
Mariya Soskova
3:50 pm
|
Andrew Bridy
9:30 am
Andrew Bridy
Jan 8 @ 9:30 am – 10:00 am
Title: Automatic sequences and curves over finite fields Abstract: A theorem of Christol states that a power series $y$ over the finite field $\mathbb{F}_q$ is an algebraic function if and only if its coefficient sequence[...]
Kohtaro Tadaki
10:00 am
Kohtaro Tadaki
Jan 8 @ 10:00 am – 10:30 am
Title: The Principle of Typicality Abstract: This is a sequel to our presentation at CCR 2014. The notion of probability plays a crucial role in quantum mechanics. It appears as the Born rule. In modern[...]
Coffee break
10:30 am
Lance Fortnow: Public talk
11:00 am
Group photo
11:50 am
Sandwiches; CCR 2016 ends
12:20 pm
|
||
Post-conference workshop
8:00 am
Post-conference workshop
Jan 11 @ 8:00 am – Jan 11 @ 3:45 pm
8:00-12:20 Keller Hall 302 (leave by 12:20 to make space for a class at 12:30) 12:30-3:45 Keller Hall 301 Potential times for sessions Local organizers Khan, Kjos-Hanssen, Beros, Ross will be teaching at some times.[...]
|
Post-conference workshop
8:45 am
Post-conference workshop
Jan 12 @ 8:45 am – Jan 12 @ 3:15 pm
8:45am-3:15pm Keller Hall 314 Potential times for sessions Local organizers Khan, Kjos-Hanssen, Beros, Ross will be teaching at some times. Tuesday 9:00 – 10:15 (Beros teaching) 10:30 – 11:45 12:00 – 1:15 (Beros teaching) 1:30[...]
|
Post-conference workshop
8:00 am
Post-conference workshop
Jan 13 @ 8:00 am – Jan 13 @ 3:45 pm
8:00 – 3:45 Keller Hall 313 (instead of as previously announced 8:00-12:30 Keller Hall 302, 12:30-3:45 Keller Hall 301) Potential times for sessions Local organizers Khan, Kjos-Hanssen, Beros, Ross will be teaching at some times.[...]
|
Post-conference workshop
8:45 am
Post-conference workshop
Jan 14 @ 8:45 am – Jan 14 @ 3:15 pm
8:45-3:15 Keller Hall 314 Potential times for sessions Local organizers Khan, Kjos-Hanssen, Beros, Ross will be teaching at some times. Thursday 9:00 – 10:15 (Beros teaching) 10:30 – 11:45 12:00 – 1:15 (Beros teaching) 1:30[...]
|
Post-conference workshop
8:00 am
Post-conference workshop
Jan 15 @ 8:00 am – Jan 15 @ 3:45 pm
8:00-3:45 Keller Hall 313 Potential times for sessions Local organizers Khan, Kjos-Hanssen, Beros, Ross will be teaching at some times. Friday 8:30 – 9:20 9:30 – 10:20 (Khan teaching) 10:30 – 11:20 11:30 – 12:20[...]
|
||