Fourth Workshop on Mathematical Logic and its Applications

22-24 March 2021 Online

Workshop Description

The workshop brings together researchers of mathematical logic and its related areas, and would provide a forum for interplay between these areas. This workshop will be held as a part of the JSPS Core-to-Core Program "Mathematical Logic and its Applications", which is led by Japan Advanced Institute of Science and Technology (JAIST) in cooperation with several institutes both in Japan and abroad.

This workshop is a replacement of MLA2020, which is cancelled due to the coronavirus spread.



  • 01/04/2021 Some slides are available from Speakers & Slides.
  • 12/03/2021 Registration started.
  • 18/01/2021 MLA2021 will be held online.
  • 27/02/2020 MLA2020 has been cancelled.


Includes (but not limited to) the following topics and their applications:

  • Intuitionistic logic
  • Type theory
  • Proof theory
  • Constructive analysis/topology
  • Program extraction
  • Reverse mathematics
  • Computable analysis/topology
  • Recursion theory (Computability theory)
  • Non-classical logic
  • Computational complexity

Program Committee

  • Mathieu Hoyrup (LORIA)
  • Akitoshi Kawamura (Kyoto)
  • Peter LeFanu Lumsdaine (Stockholm)
  • Maria Emilia Maietti (Padova)
  • Takako Nemoto (Hiroshima Institute of Technology)
  • Mizuhito Ogawa (JAIST)
  • Michael Rathjen (Leeds)
  • Katsuhiko Sano (Hokkaido)
  • Helmut Schwichtenberg (LMU)
  • Dieter Spreen (Siegen)
  • Satoshi Tojo (JAIST)
  • Hideki Tsuiki (Kyoto, chair)


  • Makoto Fujiwara (Meiji)
  • Hajime Ishihara (JAIST, chair)
  • Tatsuji Kawai (JAIST)
  • Koji Nakazawa (Nagoya)
  • Tachio Terauchi (Waseda)
  • Keita Yokoyama (JAIST)



organizers-jsps4th (at)