Call for abstract: Second Workshop on Mathematical Logic and its Applications

[Takako Nemoto]

[Apologies for multiple postings]

Call for Abstracts

Second Workshop on Mathematical Logic and its Applications
Kanazawa, Japan
5 - 9 March 2018
http://www.jaist.ac.jp/is/labs/ishihara-lab/mla2018/

Description
-----------
The workshop brings together researchers of mathematical logic and
its related areas, and would provide a forum for interplay between
these areas. This workshop will be held as a part of the JSPS
Core-to-Core Program "Mathematical Logic and its Applications",
which is led by Japan Advanced Institute of Science and Technology
(JAIST) in cooperation with several institutes both in Japan and
abroad. We welcome submissions from anyone, not restricted to the
members of the project, within the scope described below.

Scope
------
Includes (but not limited to) the following topics and their application:

* Intuitionistic logic
* Type theory
* Proof theory
* Constructive analysis/topology
* Program extraction
* Reverse mathematics
* Computable analysis/topology
* Recursion theory (Computability theory)
* Non-classical logic
* Computational complexity

Invited speakers
-----------------
* Andrew Arana (Université Paris 1)
* Douglas Bridges (University of Canterbury)
* Laura Crosilla (University of Birmingham, to be confirmed)
* Akitoshi Kawamura (Kyushu University)
* Hidenori Kurokawa (Kanazawa University)
* Maria Emilia Maietti (University of Padova)
* Norbert Preining (Accelia Inc.)
* Helmut Schwichtenberg (LMU Muenchen)
* Kazushige Terui (Kyoto University)
* Wim Veldman (Radboud University Nijmegen)
* Andreas Weiermann (Ghent University, to be confirmed)

Guide for authors
-----------------
The authors are asked to prepare short abstracts (1 page PDF)
following the guideline on the workshop web-site:
http://www.jaist.ac.jp/is/labs/ishihara-lab/mla2018/contributed_talks.html

Submissions are accepted through EasyChair
https://easychair.org/conferences/?conf=mla2018

Deadline of submission
-----------------------
15 December 2017

Notification of acceptance will be informed by December 31.

Programme Committee
--------------------
* Ryota Akiyoshi (Waseda, Japan)
* Josef Berger (LMU Muenchen, Germany)
* Makoto Fujiwara (Waseda, Japan)
* Tatsuji Kawai (Padova, Italy)
* Katsuhiko Sano (Hokkaido, Japan)
* Keita Yokoyama (JAIST, Japan)
* Martin Ziegler (KAIST, Korea)

Organizers
-----------------
* Ryota Akiyoshi (Waseda, Japan)
* Makoto Fujiwara (Waseda, Japan)
* Tatsuji Kawai (Padova, Italy)
* Takako Nemoto (JAIST, Japan)
* Keita Yokoyama (JAIST, Japan)

Contact address: organizer...@jaist.ac.jp