Mini-Workshop on Computability in Tokyo


In honor of Dr. Laurent Bienvenu's stay in Japan, we will hold a mini-workshop on computability theory in Tokyo.



Computability theory and related topics

Call for presentations

If you want to give a one-hour talk, please send me an e-mail with the title and the abstract (txt or 1-page pdf) by 20th Oct, Friday.

We also welcome short presentations of 15 to 30 minutes until the day before the workshop.

The application for presentations is now closed.

Call for participations

If you want to attend the workshop in person, please send me an e-mail before coming to the workshop.

If you want to attend the workshop in Zoom, please register from this link.

Invited Speakers


Time Name Title Link to Abstract
09:30-10:30 Takara Nomura (Osaka University) A coding theoretic approach to Szilárd’s engine game Abstract
10:45-11:45 Laurent Bienvenu (CNRS, LaBRI) On Low for Speed Oracles Abstract
13:30-14:30 Yudai Suzuki (Tohoku University) On the intermediate structure of arithmetical transfinite recursion and Π^1_1 comprehension Abstract
14:45-15:45 Toshio Suzuki (Tokyo Metropolitan University) Solovay reducibility on left-c.e. reals and computable Lipschitz continuous functions Abstract
16:00-17:00 Kenshi Miyabe (Meiji University) Computable prediction Abstract

We hope to see you in person or online.