Holger Thies

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

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

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

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

Home