Samuel BUCHET, doctorant au sein de l'équipe MéForBio, soutiendra sa thèse intitulée "Vérification formelle et apprentissage logique pour la modélisation qualitative à partir de données single-cell" / "Formal verification and automatic learning of logic programs for qualitative modeling with single-cell data" Le 14 mars 2022, à 10h, dans l’amphithéâtre du bâtiment S sur le campus de Centrale Nantes. Elle sera également retransmis via Zoom. Jury : Directeur de thèse :…