MLA ‘2019

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.


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


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

Program Committee

Previous editions

This is the third edition of the series: the web sites of the previous editions are available: