Meven, doctorant au sein de l'équipe GALINETTE soutiendra sa thèse, intitulée : "Typage Bidirectionnel pour le Calcul des Constructions Inductives" "Bidirectional Typing for the Calculus of Inductive Constructions" Le 24 juin 2022, à 14h00 dans l’amphithéâtre Pasteur sur le site de la faculté des Sciences et des Techniques Jury : Directeur de thèse : Nicolas Tabareau Rapporteurs : Neel Krishnaswami Conor McBride Autres membres : Jesper Cockx Herman Geuvers Hugo…