[logic-ml] CALL FOR PARTICIPATION: Second Workshop on Mathematical Logic and its Applications

[YOKOYAMA Keita]

みなさま、

3月に金沢にて開催予定の
Second Workshop on Mathematical Logic and its Applications
につきまして、現在参加登録を受け付けております。
ご参加いただける方は2月18日までに参加登録をいただけますと幸いです。
ご検討の程よろしくお願い致します。

横山啓太

CALL FOR PARTICIPATION

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 (Universite Paris 1)
* Urlich Berger (Swansea University)
* 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)



Registration (deadline: 18 February 2018)
------------------------
Registrations after the deadline, or participantions without registrations
will be accepted as much as possible.
But if you wish to have an abstract booklet or to join the banquet,
please register before the deadline from below.


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