Call for abstracts: JAIST Logic Workshop Series 2015

[Hajime Ishihara]

--------------------------------------------------------

*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)