Chargement Évènements

« Tous les Évènements

MLA2019 : Workshop « Mathematical Logic and its Applications »

mars 11 - mars 14

Le Loria accueillera la troisième édition du Workshop « Mathematical Logic and its Applications », (MLA), du 11 au 14 mars 2019. Les deux premières éditions ont eu lieu en 2016 et 2018 respectivement à Kyoto et Kanazawa.  La série de workshops a été initiée dans le cadre du programme JSPS Core-to-Core “Mathematical Logic and its Applications”, coordonné par le JAIST, en coopération avec plusieurs instituts au Japon et à l’étranger, dont le Loria.  Cette troisième édition sera de nouveau soutenue par le programme JSPS Core-to-Core, et s’inscrit dans l’accord de collaboration entre le JAIST et le Loria qui a été signé le 7 novembre 2016.

Les thèmes scientifiques du workshop concernent la logique intuitioniste, la théorie des types, les logiques non-classiques, la théorie de la récursion, la théorie de la preuve, l’extraction de programme, la complexité.  Le workshop est présidé par Mathieu Hoyrup (Loria) et Mizuhito Ogawa (JAIST, Japon).

30 à 40 personnes seront attendues sur ces quatre jours.  Le programme sera composé d’exposés invités et de contributions internationales, une dizaine de pays étant représentés.

Toutes les informations

Détails

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