みなさま,
北陸先端科学技術大学院大学の横山です. 4月20-24日の日程で京都大学数理解析研究所におきまして下記の要領でワークショップを開催する予定です. お忙しい時期かと思いますが,ご参加をご検討いただければ幸いです. また,今のところ講演枠に若干の余裕がありますので,もしご講演に興味がある方がいらっしゃいましたら横山までご連絡ください. どうぞよろしくお願いいたします.
横山啓太
************************
Computablity, Algebraic Structures, and Algorithmic Randomness
20-24 April 2020, RIMS, Kyoto, Japan
Tutorials: - Computable structures, Antonio Montalban and Matthew Harrison-Trainor - Reverse Mathematics, Denis Hirschfeld and Ludovic Patey - Algorithmic randomness, Rod Downey and Kenshi Miyabe - Category theory, Matthew de Brecht
Confirmed speakers: Sasha Melnikov Michael Rathjen Damir Dzhafarov Dan Turetsky Bakh Khoussainov Takayuki Kihara Toshio Suzuki Toru Takisaka (to be added)
Organizers: Bakhadyr Khoussainov Masahito Hasegawa Keita Yokoyama
************************