The Third Workshop on Mathematical Logic and its Applications will take place at Loria between March 11th and March 14th.

More information : mla2019.loria.fr

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 20, 2019
Workshop: March 11-14, 2019