Home

Conference Talks

The 15th Asian Logic Conference

July 2017, Daejeon, Korea

Continuity, Computability, Constructivity 2017

June 2017, Nancy, France

Computability in Europe 2017

June 2017, Turku, Finland

Workshop on Mathematical Logic and its Applications

September 2016, Kyoto, Japan

The 19th Japan-Korea Joint Workshop on Algorithms and Computation

August 2016, Hakodate, Japan

Thirteenth International Conference on Computability and Complexity in Analysis

June 2016, Faro, Portugal

Mathematics for Computation

May 2016, Lower Bavaria, Germany

PhDs in Logic VIII

May 2016, Darmstadt, Germany

69. Workshop über Algorithmen und Komplexität (Theorietag)

May 2015, Ilmenau, Germany

Continuity, Computability, Constructivity 2014

September 2014, Ljubljana, Slovenia

Eleventh International Conference on Computability and Complexity in Analysis

July 2014, Darmstadt, Germany