Home

Conference Talks

Autumn school Proof and Computation

September 2024, Fischbachau, Germany

Twenty-First International Conference on Computability and Complexity in Analysis

July 2024, Swansea, UK

Korean Mathematical Society Spring Meeting

April 2024, Daejeon, Korea

17th International Conference on Computability, Complexity and Randomness

March 2024, Nagoya, Japan

The 19th Theorem Proving and Provers meeting

October 2023, Tokyo, Japan

Fifth Workshop on Digitalization and Computable Models

October 2023, Astana, Kazakhstan (Online)

Continuity, Computability, Constructivity - From Logic to Algorithms 2023

September 2023, Kyoto, Japan

48TH INTERNATIONAL SYMPOSIUM ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE

August 2023, Bordeaux, France

29th International Conference on Types for Proofs and Programs

June 2023, Valencia, Spain

Continuity, Computability, Constructivity - From Logic to Algorithms 2022

September 2022, Padova, Italy

Proof and Computation 2022

June 2022, Schlehdorf, Germany

The second Japan-Russia workshop on effective descriptive set theory, computable analysis and automata

March 2022, Akita, Japan

The second Korea Logic Day

January 2022, Online

The 17th Theorem Proving and Provers meeting

November 2021, Kitami, Japan

27th Workshop on Logic, Language, Information and Computation

October 2021, Online

Autumn school Proof and Computation

September 2021, Online

Continuity, Computability, Constructivity - From Logic to Algorithms

September 2021, Online

18th International Conference on Computability and Complexity in Analysis

July 2021, Online

Fourth Workshop on Mathematical Logic and Applications

March 2021, Online

40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science

December 2020, Online

45th International Symposium on Mathematical Foundations of Computer Science

August 2020, Online

LA Symposium

February 2020, Kyoto, Japan

The 22nd Japan-Korea Joint Workshop on Algorithms and Computation

October 2019, Daejeon, Korea

The Coq Workshop 2019

September 2019, Portland, OR, USA

Computability, Continuity, Constructivity - from Logic to Algorithms 2019

September 2019, Ljubljana, Slovenia

Sixteenth International Conference on Computability and Complexity in Analysis

July 2019, Zagreb, Croatia

15th Annual Conference on Theory and Applications of Models of Computation

April 2019, Kitakyushu, Japan

Third Workshop on Mathematical Logic and its Applications

March 2019, Nancy, France

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