2-6 Mar 2015
Kanazawa, Japan
--------------------------------------------------------
*Call for Abstracts*
JAIST LOGIC WORKSHOP SERIES 2015
Constructivism and Computability
2 March 2015 ? 6 March 2015
Shiinoki Cultural Complex, Kanazawa, Japan
http://www.jaist.ac.jp/is/labs/ishihara-lab/jlws2015/
--------------------------------------------------------
IMPORTANT DATES
November 30 - deadline for abstract submissions
December 25 - notification of accepted contributions
February 15 - deadline for registrations
March 2-6 - Constructivism and Computability workshop
TUTORIALS
* Giovanni Sambin (University of Padova)
* Hideki Tsuiki (Kyoto University)
* Stanley Wainer (University of Leeds)
INVITED SPEAKERS
* Ulrich Berger (Swansea University)
* Takayuki Kihara (JAIST)
* Graham Leigh (Vienna University of Technology)
* Michael Rathjen (University of Leeds)
* Masahiko Sato (Kyoto University)
* Makoto Tatsuta (National Institute of Informatics)
PROGRAM COMMITTEE
* Toshiyasu Arai (Chiba University)
* Andrej Bauer (University of Ljubljana)
* Ulrich Berger (Swansea University)
* Hajime Ishihara (co-chair, JAIST)
* Masahiro Kumabe (Open University of Japan)
* Erik Palmgren (Stockholm University)
* Peter Schuster (University of Leeds)
* Helmut Schwichtenberg (co-chair, LMU Munich)
* Dieter Spreen (University of Siegen, UNISA Pretoria)
* Kazuyuki Tanaka (Tohoku University)
SUBMISSIONS
Submissions of short abstracts (1 page in PDF format) are accepted through
easychair.org, see https://easychair.org/conferences/?conf=jlws2015
DESCRIPTION
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:
http://www.jaist.ac.jp/~hirokawa/pr2013/
http://www.jaist.ac.jp/~preining/wpp/
http://www.jaist.ac.jp/~v-sano/jw2014/index.html
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 (http://corcon.net/), but is open to all researchers in the areas.
SCOPE
Constructive mathematics and computability, and related areas
including but not limited to: intuitionistic logic and type theory,
proof theory, constructive analysis and topology, program extraction
from proofs, recursion theory, computable analysis and topology,
classical/constructive reverse mathematics, algorithmic randomness,
real number computation etc.
LOCAL ORGANIZERS
* Hajime Ishihara (JAIST)
* Takayuki Kihara (JAIST)
* Takako Nemoto (JAIST)
* Keita Yokoyama (JAIST)
The workshop is supported by:
* Japan Advanced Institute of Science and Technology (JAIST)
CO-LOCATED WORKSHOP
* JSPS-NUS Joint Workshop in Mathematica Logic and Foundations of Mathematics
(6-7 March 2015, at the same venue)