Logic List Mailing Archive

"Constructivism and Computability"

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)