Workshop on Computability Theory and its Applications

June 4 - 8, 2018, University of Waterloo

Location: University of Waterloo - MC 5501

Description

Computability theory is the area of mathematical logic dealing with the theoretical bounds on, and structure of, computability and with the interplay between computability and definability in mathematical languages and structures. This workshop aims to bring together researchers from all areas of Computability Theory, at any stage of their career, for an intense week of collaboration.

Please see https://cta-waterloo.sciencesconf.org/ for more information.

All events are in MC 5501 except for the public lecture in QNC 1502

Registration

To register for this event, please see the link in the top right corner of this page. Registration will close on May 21, 2018.

Funding

The funding form can be completed as part of registering, or seperately using the link in the top right corner of this page. Funding applications will be considered until March 1, 2018.

Schedule

Monday, June 4th, 2018
09:30 to 09:50	Coffee
09:50 to 10:00	Opening Remarks
10:00 to 10:50	Ultrafilters and Reverse Mathematics Richard Shore, Cornell University
11:00 to 11:20	Some reductions between theorems around ATR Jun Le Goh, Cornell University
11:30 to 11:50	Automorphism groups of substructure lattices Valentina Harizanov, George Washington University
11:50 to 14:00	Lunch
14:00 to 14:30	Coffee
14:30 to 14:50	Randomness and compression in arithmetic David Belanger, Ghent University
15:00 to 15:20	Computable structures and isomorphisms Jonathan Stephenson, Valparaiso University
16:00 to 16:50	Infinite Games - held in QNC 1502 Antonio Montalban, University of California Berkeley Location:University of Waterloo

Tuesday, June 5th, 2018
09:30 to 10:00	Coffee
10:00 to 10:50	Subclasses of the enumeration degrees arising from effective mathematics Joseph Miller, University of Wisconsin–Madison
11:00 to 11:20	Elementary bi-embeddability spectra of structures Dino Rossegger, Technische Universität Wien
11:30 to 11:50	Dense Computability, Upper Cones, and Minimal Pairs Denis Hirschfeldt, University of Chicago
11:50 to 14:00	Lunch
14:00 to 14:30	Coffee
14:30 to 15:20	Permutations of the integers induce only the trivial automorphism of the Turing degrees Bjørn Kjos-Hanssen, University of Hawaii at Manoa
15:30 to 15:50	Scott Sentence of Finitely-Generated Groups Meng-Che Ho, Purdue University
16:00 to 18:00	Open Problem Session

Wednesday, June 6th, 2018
09:30 to 10:00	Coffee
10:00 to 10:50	The Lovász local lemma and restrictions of Hindman's theorem Damir Dzhafarov, University of Connecticut
11:00 to 11:20	An application of quantum Solovay randomness Tejas Bhojraj, University of Wisconsin–Madison
11:30 to 11:50	Degrees of Categoricity Above Limit Ordinals Michael Deveau, University of Waterloo
12:00 to 12:20	A point-to-set principle for separable metric spaces Elvira Mayordomo, Universidad de Zaragoza

Thursday, June 7th, 2018
09:30 to 10:00	Coffee break
10:00 to 10:50	Kolmogorov complexity and Diophantine Approximation Jan Reimann, The Pennsylvania State University
11:00 to 11:20	Computation on Streams: Analog and Digital Models Jeffery Zucker, McMaster University
11:30 to 11:50	Lowness for metric spaces Johanna Franklin, Hofstra University
11:50 to 14:00	Lunch
14:00 to 14:30	Coffee break
14:30 to 15:20	Effective domination and the bounded jump Keng Meng Ng, Nanyang Technological University
15:30 to 15:50	Generically computable structures and isomorphisms Douglas Cenzer, University of Florida
16:00 to 16:20	Computable linear orders and products Steffen Lempp, University of Wisconsin–Madison

Friday, June 8th, 2018
09:30 to 10:00	Coffee break
10:00 to 10:50	Structure in the Baire 1 functions Linda Westrick, University of Connecticut
11:00 to 11:20	Measuring Complexity of Maximal Matchings of Graphs Oscar Levin, University of Northern Colorado
11:30 to 11:50	Degrees of Categorictiy of Trees of finite rank Mohammad Mahmoud, University of Waterloo
12:00 to 12:20	Completions of PA and $\omega$-models of KP Julia Knight, University of Notre Dame

Registered Participants

Name	Affiliation
Paul-Elliot Anglès d'Auriac	Université Paris Est-Créteil
Senguttuvan Annamalai	Sree Vidyanikethan Engineering College
David Belanger	Ghent University
Tejas Bhojraj	University of Wisconsin–Madison
Laurent Bienvenu	Centre national de la recherche scientifique (CNRS) and Université de Montpellier
Katie Brodhead	Florida A&M University
Douglas Cenzer	University of Florida
MFANO CHARLES	Wama-Nakayama Secondary School
Peter Cholak	University of Notre Dame
Alakh Dhruv Chopra	Chennai Mathematical Institute, Chennai
Joshua Cole	Wabash College
Barbara Csima	University of Waterloo
Michael Deveau	University of Waterloo
Damir Dzhafarov	University of Connecticut
Johanna Franklin	Hofstra University
Jun Le Goh	Cornell University
Noam Greenberg	Victoria University of Wellington
Valentina Harizanov	George Washington University
Matthew Harrison-Trainor	University of Waterloo
Denis Hirschfeldt	University of Chicago
Meng-Che Ho	Purdue University
Haim Horowitz	University of Toronto
Asad Khan	South China Normal University, Guangzhou, China
Bjørn Kjos-Hanssen	University of Hawaii at Manoa
Julia Knight	University of Notre Dame
Carolyn Knoll	University of Waterloo
Li Ling Ko	Mathematics
Steffen Lempp	University of Wisconsin–Madison
Oscar Levin	University of Northern Colorado
Jack Lutz	Iowa State University
Mohammad Mahmoud	University of Waterloo
Tyler Markkanen	Springfield College
Elvira Mayordomo	Universidad de Zaragoza
Joseph Miller	University of Wisconsin–Madison
Justin Miller	University of Notre Dame
Russell Miller	Queens College & CUNY Graduate Center
Antonio Montalban	University of California Berkeley
Keng Meng Ng	Nanyang Technological University
Ludovic Patey	Institut Camille Jordan
Jan Reimann	The Pennsylvania State University
Dino Rossegger	Technische Universität Wien
Noah Schweber	University of Wisconsin–Madison
Richard Shore	Cornell University
Rebecca Steiner	Virginia Tech
Jonathan Stephenson	Valparaiso University
Daniel Turetsky	University of Notre Dame
David Webb	University of Hawaii at Manoa
Linda Westrick	University of Connecticut
Wentao Yang	University of Waterloo
moahmed zaway	Technical College
Jeffery Zucker	McMaster University