"JSPS-NUS Joint Workshop in Mathematical Logic and Foundations of Mathematics",
6 March 2015 - 8 March 2015
Kanazawa, Japan
Overview Conference Venue Organizers
Program(TBA) Link


This workshop is jointly sponsored by the Japan Society for the Promotion of Science and the National University of Singapore. Succeeding to the previous workshop in Singapore, it is intended to provide a venue for continued interaction and to serve as an opportunity to explore new research collaborations in three broad areas of common interest: reverse mathematics (involving both standard and nonstandard models of arithmetic), algorithmic randomness (in both classical and higher setting), and set theory (particularly cardinal characters of the continuum).
There is a co-located meeting "JAIST Logic Workshop: Constructivism and Computability" (2-6 March, at the same venue). Also, a post-conference meeting "Sendai Logic School 2015" will be held on 10 March.

Conference Venue

This workshop will take place at Shiinoki Cultural Complex on 6-7 March, and at Kanazawa Tokyu Hotel on 8 March.

Another access map is here.
Access :
  • [Kanazawa station bus terminal 7-10] -- 10 minutes by bus --> [Korinbou]
  • [Korinbou] -- 5 minutes by foot --> [Siinoki cultural complex]

Registration (Pre-register by 8 February)

  • Pre-registration is required. No fee to attend the lectures.
  • Please contact us at SendaiLogic[at]math.tohoku.ac.jp by 8 February if you would like to participate.

Accommodation (recommended)


Program (TBA)

3/6 Fri. 3/7 Sat. 3/8 Sun.
Joint with JAIST Conference Conference
(plus Dinner)
3/6 Fri. 3/7 Sat. 3/8 Sun.



  • SendaiLogic[at]math.tohoku.ac.jp
Copyright (c) 2014 JSPS-NUS Joint Workshop in Mathematical Logic and Foundations of Mathematics All Rights Reserved.