18:30-19:30
(Dinner for participants arriving already on Sunday)
Sunday, July 9, 2023
Monday, July 10, 2023
08:00-09:00
(Breakfast for participants arriving already on Sunday)
12:10-13:30
Lunch
13:30-13:40
Opening
13:40-14:40
Johanna Franklin: Highness for structures
14:40-15:20
Ellen Hammatt: Punctual Structures
15:20-16:00
Coffee break
16:00-17:00
Paul Shafer: Ordinal analysis of partial combinatory algebras
17:00-17:40
Takayuki Kihara: On eight variants of formal Church's thesis
17:40-18:10
📢 Important Announcements 📢
18:30-19:30
Dinner
Tuesday, July 11, 2023
08:00-09:00
Breakfast
09:00-10:00
Jun Le Goh: Uniform computational content of pigeonhole principles
10:00-10:30
Coffee break
10:30-11:30
Chi Tat Chong: Randomness vs. Ramsey type principles
11:30-13:00
Lunch
13:00-18:30
Excursion
15:00-15:40
(Coffee break for excursion non-participants)
18:30-19:30
Dinner
Wednesday, July 12, 2023
08:00-09:00
Breakfast
09:00-10:00
Eric Allender: Kolmogorov Complexity and Zero Knowledge
10:00-10:30
Coffee break
10:30-11:30
Shuichi Hirahara: Meta-complexity and average-case complexity
11:30-12:10
Matthew de Brecht: Constructing the valuations powerspace functor
12:10-13:40
Lunch
13:40-14:20
Valentino Delle Rose: The landscape of computable PAC learning
14:20-15:00
Ivan Titov: Monotone Solovay Reducibility
15:00-15:40
Coffee break
15:40-16:20
Peter Hertling, Rupert Hölzl and Philip Janicki: Regainingly approximable numbers and sets
16:20-17:00
Rupert Hölzl and Philip Janicki: Benign Approximations and Non-Speedability
18:30-19:30
Dinner
Thursday, July 13, 2023
08:00-09:00
Breakfast
09:00-10:00
Rod Downey: Limit Complexities, Minimal Descriptions, and n-Randomness-Extended
10:00-10:30
Coffee break
10:30-11:30
George Barmpalias: Randomness below complete theories of arithmetic
11:30-12:10
Alexander Shen: The Kraft–Barmpalias–Lewis-Pye lemma made simple
12:10-13:40
Lunch
13:40-14:20
Yu Liang: Trees and Hyperimmune-Free Sets
14:20-15:00
Steffen Lempp: A jump for the Weihrauch degrees
15:00-15:40
Coffee break
15:40-16:20
Nicanor Carrasco-Vargas: Medvedev degrees and subshifts
16:20-17:00
Vittorio Cipriani: The complexity of the (induced) subgraph problem
19:00-21:30
Conference Dinner
Friday, July 14, 2023
08:20-09:20
Breakfast
09:20-10:20
Tim McNicholl: Computable presentations of metric structures
10:20-10:50
Coffee break
10:50-11:30
Matthias Schröder: Computing partitions of the unit square
11:30-13:00
Lunch