Home

Conference Travel, Research visits, etc.

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