Avis de Soutenance de Monsieur Qi QIU

Preuve automatique de terminaison : contributions à la réécriture de graphes par graphes de type pondérés étendus et dénombrement de morphismes

Liste des horaires

Le 16 décembre 2025 de 14h à 16h