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.