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
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.
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.
| 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.