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. Anyone, not restricted to the members of the project, is welcome to participate.

News

Venue

Kanazawa Tokyu Hotel (5-7 and 9 March), Shiinoki Cultural Complex (8 March), Kanazawa, JAPAN (Google Maps)

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

Organizers

Sponsors


Contact

organizers-jsps2nd[at]jaist.ac.jp

Detailed information will be uploaded here when it is available.