Home

Conference Talks

Continuity, Computability, Constructivity

September 2018, Faro, Portugal

Workshop on Computability Theory and Foundations of Mathematics 2018

September 2018, Tokyo, Japan

43rd International Symposium on Mathematical Foundations of Computer Science

August 2018, Liverpool, United Kingdom

25th Workshop on Logic, Language, Information and Computation

July 2018, Bogotá, Colombia

LA Symposium

July 2018, Chiba, Japan

IEICE General Conference - Student Symposium

March 2018, Tokyo, Japan

Second Workshop on Mathematical Logic and its Applications

March 2018, Kanazawa, Japan

Dagstuhl Seminar on Reliable Computation and Complexity on the Reals

November 2017, Dagstuhl, Germany

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