## 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.**

MLA2020: https://www.jaist.ac.jp/event/mla2020/

## News

**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.**

## Scope

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)

## Organizers

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

## Sponsors

## Contact

organizers-jsps4th (at) jaist.ac.jp

## Links