[logic-ml] Second Workshop on Mathematical Logic and its Applications

[YOKOYAMA Keita]

みなさま、

3月に金沢にて開催予定の
Second Workshop on Mathematical Logic and its Applications
につきまして、講演募集の締め切りが近づきましたので再度ご案内させて頂きます。
ご講演・ご参加の検討をいただければ幸いです。

横山啓太

*******************************************
Second 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)
* 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: organizers-jsps2nd at jaist.ac.jp

--
Keita Yokoyama
y-keita at jaist.ac.jp