travel

2026

• Nov 16–17, 2026
  TPP 2026 · Tokyo, Japan
• Aug 21–Sep 4, 2026
  Visiting IMFM at University of Ljubljana · Ljubljana, Slovenia
• Jul 27–31, 2026
  CIE 2026 · Trier, Germany
• Jun 29–Jul 3, 2026
  Logic Colloquium 2026 · Swansea, UK
• Jun 1–4, 2026
  FormaSys Meeting · Tokyo, Japan
• Jan 14–20, 2026
  Visiting Dominik Kirst at IRIF · Paris, France
• Jan 11–13, 2026
  CPP 2026 · Rennes, France

2025

• Dec 3–4, 2025
  TPP 2025 · Sendai, Japan
• Dec 1–2, 2025
  Visiting Reynald Affeldt at AIST · Tokyo, Japan
• Jul 14–18, 2025
  CIE 2025 · Lisbon, Portugal
• May 19–23, 2025
  Visiting LIP Laboratory at École normale supérieure de Lyon · Lyon, France

2024

• Nov 25–26, 2024
  TPP 2024 · Fukuoka, Japan
• Sep 23, 2024
  Visiting Vasco Brattka at Munich University of the German Armed Forces · Munich, Germany
• Sep 15–21, 2024
  Proof and Computation 2024 · Fischbachau, Germany
• Sep 9–14, 2024
  ITP 2024 · Tbilisi, Georgia
• Aug 2–3, 2024
  WAAC2024 · Seoul, Korea
• Jul 15–18, 2024
  CCA 2024 · Swansea, UK
• Apr 18–20, 2024
  KMS Spring Meeting · Daejeon, Korea
• Mar 11–15, 2024
  CCR 2024 · Nagoya, Japan

2023

• Dec 16, 2023
  12th Meeting of the JSPS Club · Nagoya, Japan
• Oct 30–31, 2023
  TPP2023 · Tokyo, Japan
• Sep 11–15, 2023
  Computable Analysis Summer School · Tokyo, Japan
• Sep 7–9, 2023
  CCA2023 · Dubrovnik, Croatia
• Sep 3–6, 2023
  Visiting Olivier Bournez at École polytechnique · Palaiseau, France
• Aug 28–Sep 1, 2023
  MFCS2023 · Bordeaux, France
• Jun 12–15, 2023
  TYPES 2023 · Valencia, Spain

2022

• Sep 19–23, 2022
  CCC2022 · Padova, Italy
• May 30–Jun 2, 2022
  Proof and Computation 2022 · Schlehdorf, Germany
• Mar 2–5, 2022
  Japan-Russia workshop on effective descriptive set theory, computable analysis and automata · Akita, Japan

2021

• Nov 20–22, 2021
  TPP2021 · Kitami, Japan

2020

• Feb 20–21, 2020
  Visiting Chuangjie Xu at Ludwig-Maximilians-Universität · Munich, Germany
• Feb 17–19, 2020
  Visiting Norbert Müller at University of Trier · Trier, Germany
• Feb 10–16, 2020
  Visiting Chuangjie Xu at Ludwig-Maximilians-Universität · Munich, Germany
• Feb 5–7, 2020
  LA Symposium · Kyoto, Japan

2019

• Oct 7–10, 2019
  NII Shonan Meeting · Shonan, Japan
• Oct 4–5, 2019
  WAAC · Daejeon, South Korea
• Sep 20–26, 2019
  Proof and Computation · Herrsching, Germany
• Sep 15–19, 2019
  Visiting Chuangjie Xu at Ludwig-Maximilians-Universität · Munich, Germany
• Sep 8–13, 2019
  ITP2019 · Portland, OR, USA
• Sep 2–6, 2019
  CCC2019 · Ljubljana, Slovenia
• Aug 11–21, 2019
  Visiting Michal Konečný at Aston University · Birmingham, United Kingdom
• Jul 8–11, 2019
  CCA2019 · Zagreb, Croatia
• Mar 15–25, 2019
  Visiting Chuangjie Xu at Ludwig-Maximilians-Universität · Munich, Germany
• Mar 11–14, 2019
  MLA2019 · Nancy, France