Chargement Évènements

« Tous les Évènements

MLA 2019

mars 11 - mars 14

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

More information :

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


Début :
mars 11
Fin :
mars 14
Catégorie d’Évènement:



En ce moment

Colloquium Loria 2018

Exposés précédents

Logo du CNRS
Logo Inria
Logo Université de Lorraine