Conference Travel, Research visits, etc.
2020
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