Workshop 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, organised by Loria, 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. Anyone, not restricted to the members of the project, is welcome to participate.
Scope
The scope includes (but is not limited to) the following topics and their applications:
- 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
Submission
Extended abstracts (1-2 pages) of original work are welcome.
The deadline is January 28, 2019.
Upload your submission via EasyChair.
Important dates
Submission: January 28, 2019
Notification: February 1st, 2019
Deadline for registration: February 28, 2019
Workshop: March 11-14, 2019
Invited speakers
- Bahareh Afshari (Göteborg)
- Albert Atserias (Barcelona)
- Ralph Matthes (Toulouse)
- Moritz Müller (Barcelona)
- Takako Nemoto (JAIST)
- Ludovic Patey (Lyon)
- Tachio Terauchi (Tokyo)
Program Committee
- Arnold Beckmann (Swansea)
- Ulrich Berger (Swansea)
- Matthew de Brecht (Kyoto)
- Mathieu Hoyrup (Nancy), co-chair
- Michael Rathjen (Leeds)
- Hajime Ishihara (JAIST)
- Mizuhito Ogawa (JAIST), co-chair
- Keita Yokoyama (JAIST)
Previous editions
This is the third edition of the series: the web sites of the previous editions are available: