August 19–23, 2024
Generalized ComputabilitY THeory
at CIEM in Castro Urdiales,
Cantabria, Spain.
About
Generalized Computability Theory studies extensions of recursion theory and/or computability theory to structures beyond the natural numbers, including the real numbers, higher-type functionals, initial segments of Gödel's constructible universe, and admissible sets.
The workshop on Generalized Computability Theory is a five-day event gathering mathematicians working in all aspects of mathematical logic connected with the topics on the right in order to present recent results, discuss future directions of research, and produce new interactions.
Topics
Topics include but are not limited to:
Hyperarithmetic theory and degrees
Admissible and set recursion theory
Higher randomness
Reverse mathematics around ATR0 and above
Infinite-time Turing machines
Effective descriptive set theory
Large countable ordinals and inductive definability
Uncountable computable structure theory
Effective equivalence relations
Organizing committee
Juan P. Aguilera (Vienna University of Technology)
Noam Greenberg (Victoria University of Wellington)
Philip Welch (University of Bristol)
Liang Yu (Nanjing University)
Participation
To participate, contact the organizers.
Venue
Building: «La Residencia» Pedro Velarde.
Address: Calle María Aburto 4
39700 Castro Urdiales
Cantabria, Spain.
Address: Calle María Aburto 4
39700 Castro Urdiales
Cantabria, Spain.
participants
List of people who have indicated interest in participating (subject to change):
J. P. Aguilera (TU Wien)
W. Chan (TU Wien)
C. T. Chong (NUS)
V. Cipriani (TU Wien)
F. Dorais (Vermont)
S. Gao (Nankai)
N. Greenberg (VUW)
J. D. Hamkins (Notre Dame)
M. Iannella (TU Wien)
T. Kouptchinsky (TU Wien)
R. Lubarsky (FAU)
J. Miller (Wisconsin – Madison)
K. M. (S.) Ng (Nanyang)
T. Kihara (Nagoya)
G. M. Osso (Udine)
D. Rossegger (TU Wien)
I. Scott (Chicago)
M. Soskova (Wisconsin – Madison)
P. Shafer (Leeds)
R. Shore (Cornell)
B. Siskind (TU Wien)
T. Slaman (Berkeley)
H. Towsner (UPenn)
P. Welch (Bristol)
L. Yu (Nanjing)
Program
Monday
9:30–9:45 | Arrival
9:45–10:00 | Welcome
10:00–11:00 | Welch
11:00–11:30 | Coffee break
11:30–12:30 | Lubarsky
BREAK FOR LUNCH AND DISCUSSIONS
2:45–3:45 | Siskind
3:45–4:15 | Coffee break
4:15–5:15 | Chan
5:15–5:30 | Break
5:30–6:30 | Open problem session + discussions
Tuesday
10:00–11:00 | Slaman
11:00–11:30 | Coffee break
11:30–12:30 | Shore
BREAK FOR LUNCH AND DISCUSSIONS
2:45–3:45 | Hamkins
3:45–4:15 | Coffee break
4:15–5:15 | Greenberg
5:15–5:30 | Break
5:30–6:30 | Aguilera
Wednesday
10:00–11:00 | Chong
11:00–11:30 | Coffee break
11:30–12:30 | Gao
BREAK FOR LUNCH AND DISCUSSIONS
2:45–3:45 | Kouptchinsky
3:45–4:15 | Coffee break
4:15–6:30 | Discussions/free
Thursday
10:00–11:00 | Kihara
11:00–11:30 | Coffee break
11:30–12:30 | Townser
BREAK FOR LUNCH AND DISCUSSIONS
2:45–3:45 | Rossegger
3:45–4:15 | Coffee break
4:15–5:15 | Iannella
5:15–5:30 | Break
5:30–6:30 | Ng
Friday
10:00–11:00 | Cipriani
11:00–11:30 | Coffee break
11:30–12:30 | Osso
BREAK FOR LUNCH AND DISCUSSIONS
2:45–4:30 | Discussions
4:30–\infty | Free