Menu navigation :
Contenu :
ActivitiesCette section présente nos projets ainsi qu'un certain nombre de nos activités de recherche dans leurs formes collectives et régulières (séminaires, groupes de travail), ou plus ponctuelles (journées d'études, colloques). Elle présente également la Chaire d'excellence senior "Ideals of Proof", financée par l'ANR et dirigée par Michael Detlefsen, dans laquelle nous sommes engagés, ainsi que le colloque transfrontalier Nancy-Sarrebruck.
Vous pouvez par ailleurs consulter l'agenda scientifique du laboratoire, et consulter les pages des membres pour des informations sur leurs activités.