08:50am - 09:00am | Registration | |
09:00am - 10:00am | Array noncomputability for left-c.e. reals and not totally ω-c.e. degrees (PDF) | Klaus Ambos-Spies Heidelberg University, Germany Nadine Losert Universität Heidelberg, Germany |
10:00am - 10:30am | Coffee Break | |
10:30am - 11:30am | Wadge-like classifications of real-valued functions | Takayuki Kihara Nagoya University, Japan |
11:30am - 02:00pm | Lunch Break |
08:50am - 09:00am | Registration | |
09:00am - 10:00am | Algorithmically random structures | Bakhadyr Khoussainov University of Auckland, New Zealand |
10:00am - 10:30am | Coffee Break | |
10:30am - 11:30am | Lowness notions in the C.E. sets | Peter Cholak University of Notre Dame, USA |
11:30am - 02:00pm | Lunch Break |
08:50am - 09:00am | Registration | |
09:00am - 10:00am | Reducibility of metrics on the real line | Ruslan Kornev Sobolev Institute of Mathematics, Russia |
10:00am - 10:30am | Coffee Break | |
10:30am - 11:30am | Degrees of autostability relative to strong constructivizations of structures of finite signature | Margarita Marchuk Sobolev Institute of Mathematics, Russia |
11:30am - 02:00pm | Lunch Break | |
06:30pm | Banquet Dinner (Volunteer and self paid) Kent Ridge Guild House, Cluny and Dalvey Room Address: 9 Kent Ridge Drive, Singapore 119241 |
09:50am - 10:00am | Registration | |
10:00am - 12:00pm | Research discussion |
09:20am - 09:30am | Registration | |
09:30am - 10:30am | Cototal enumeration degrees and the skip operator | Alexandra A. Soskova Sofia University, Bulgaria |
10:30am - 11:00am | Group Photo & Coffee Break | |
11:00am - 04:30pm | Activities held in conjunction with Workshop on Computability Theory and the Foundations of Mathematics (8 - 12 Sep 2017) |