JAIST Logic Workshop series 2015 Constructivism and Computability

JAIST Logic Workshop series 2015 Constructivism and Computability

Date: 
2015/03/02 (Mon) to 2015/03/06 (Fri)
Place: 
Shiinoki Cultural Complex, Kanazawa
Group: 
Logic Unit
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:
3rd Workshop on Proof Theory and Rewriting (2013)
Workshop on Proofs as Processes (2014)
Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions (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 and CORCON, but is open to all researchers in the areas.

We also have organized the following workshops on constructive mathematics:
Workshop on Constructivism: Logic and Mathematics (2008)
Workshop on Constructive Aspects of Logic and Mathematics (2010)

Detailed information is available from below:
http://www.jaist.ac.jp/is/labs/ishihara-lab/jlws2015/
Contact
Hajime Ishihara