Fourth Workshop on Mathematical Logic and its Applications

3-5 March 2020, Kanazawa, Japan

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.

News

  • 19/11/2019 Our website was newly redesigned.

Venue

Kanazawa Tokyu Hotel, Kanazawa, JAPAN

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 (Kyushu)
  • Maria Emilia Maietti (Padova)
  • Takako Nemoto (JAIST)
  • Mizuhito Ogawa (JAIST)
  • Erik Palmgren (Stockholm)
  • 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)
  • Tatsuji Kawai (JAIST)
  • Koji Nakazawa (Nagoya)
  • Tachio Terauchi (Waseda)
  • Keita Yokoyama (JAIST)

Sponsors

Contact

organizers-jsps4th (at) jaist.ac.jp

Links