Conference Travel, Research visits, etc.
2024
- September 15-21 Fischbachau, Germany to attend Proof and Computation 2024
- July 15-18 Swansea, UK to attend CCA 2024
- April 18-20 Daejeon, Korea to attend KMS Spring Meeting
- March 11-15 Nagoya, Japan to attend CCR 2024
2023
- December 16 Nagoya, Japan to attend 12th Meeting of the JSPS Club
- October 30-31 Tokyo, Japan to attend TPP2023
- September 11-15 Tokyo, Japan to attend Computable Analysis Summer School
- September 7-9 Dubrovnik, Croatia to attend CCA2023
- September 3-6 Palaiseau, France to visit Olivier Bournez at École polytechnique
- August 28-September 1 Bordeaux, France to attend MFCS2023
- June 12-15 Valencia, Spain to attend TYPES 2023
2022
- September 19-23 Padova, Italy to attend CCC2022
- May 30-June 2 Schlehdorf, Germany to attend Proof and Computation 2022
- March 2-5 Akita, Japan to attend Japan-Russia workshop on effective descriptive set theory, computable analysis and automata
2021
- November 20-22 Kitami, Japan to attend TPP2021
2020
- February 20-21 Munich, Germany to visit Chuangjie Xu at Ludwig-Maximilians-Universität
- February 17-19 Trier, Germany to visit Norbert Müller at University of Trier
- February 10-16 Munich, Germany to visit Chuangjie Xu at Ludwig-Maximilians-Universität
- February 5-7 Kyoto, Japan to attend LA Symposium
2019
- October 7-10 Shonan, Japan to attend NII Shonan Meeting
- October 4-5 Daejeon, South Korea to attend WAAC
- September 20-26 Herrsching, Germany to attend Proof and Computation
- September 15-19 Munich, Germany to visit Chuangjie Xu at Ludwig-Maximilians-Universität
- September 8-13 Portland, OR, USA to attend ITP2019
- September 2-6 Ljubljana, Slovenia to attend CCC2019
- August 11-21 Birmingham, United Kingdom to visit Michal Konečný at Aston University
- July 8-11 Zagreb, Croatia to attend CCA2019
- March 15-25 Munich, Germany to visit Chuangjie Xu at Ludwig-Maximilians-Universität
- March 11-14 Nancy, France to attend MLA2019