Supporters

• CORCON
  Correctness by Construction
• COMPUTAL
  Computable analysis - theoretical and applied aspects
• JAIST
  Japan Advanced Institute of Science and Technology

Co-located Meetings

• JSPS-NUS Joint Workshop in Mathematical Logic and Foundations of Mathematics
  6 March 2015 - 8 March 2015 Kanazawa, Japan