Loading Events

« All Events

  • This event has passed.

MLA2019 : Workshop « Mathematical Logic and its Applications »

March 11 - March 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

Details

Start:
March 11
End:
March 14
Event Category:

Logo du CNRS

Logo d'Inria

Logo Université de Lorraine