Tag Archives: Workshop

Workshop announcement

JAIST Logic Workshop Series 2015:
Constructivism and Computability
Shiinoki Cultural Complex, Kanazawa, Japan
2 March 2015 – 6 March 2015

Programme Committee:
Toshiyasu Arai (Chiba University)
Andrej Bauer (University of Ljubljana)
Ulrich Berger (Swansea University)
Hajime Ishihara (JAIST)
Masahiro Kumabe (Open University of Japan)
Erik Palmgren (Stockholm University)
Peter Schuster (University of Leeds)
Helmut Schwichtenberg (LMU Munich)
Dieter Spreen (University of Siegen, UNISA Pretoria)
Kazuyuki Tanaka (Tohoku University) (to be confirmed)

Local Organizers:
Hajime Ishihara (JAIST)
Takayuki Kihara (JAIST)
Takako Nemoto (JAIST)
Keita Yokoyama (JAIST)

JAIST Logic Workshop Series is a workshop series bringing together researchers from mathematical logic and its application, especially to artificial intelligence and software science. Each workshop has its own focus on a specific area of research in mathematical logic and its application. Previous workshops have been held in Kanazawa 2013, 2014 and 2014:

In 2015, JAIST Logic Workshop Series focuses on “Constructivism and Computability” aiming at interaction and knowledge transfer between constructive mathematics and computability theory. The workshop is held being affiliated with EU FP7 Marie Curie Actions IRSES projects COMPUTAL (http://computal.uni-trier.de/) and CORCON (https://corcon.net/), but is open to all researchers in the areas.

constructive mathematics including intuitionistic logic and type theory, proof theory, constructive analysis and topology, program extraction from proofs, constructive reverse mathematics etc., and computability theory including recursion theory, computable analysis and topology, real number computation, reverse mathematics, algorithmic randomness etc.