Informatique Informatique et mathématiques discrètes (IMD)

[23-24]-M1-Théorie des graphes avancée (J. Chalopin, E. Godard, A. Labourel)

[23-24]-M1-Calculabilité avancée (Luminy)

[23-24]-M2-Modèles de calcul naturel - MOCANA (A.E. Porreca, K. Perrot, G. Di Molfetta)

[23-24]-M2 Algorithmique Distribuée

[23-24]-Logiques Modales

[23-24]-Théorie des Automates (M2IMD)

[23-24]-M2IMD-PPPE (Seminaire Tutoré): Communication Scientifique en Anglais

Page-web du cours: Seminaire Tutoré

[23-24]-Théorie algorithmique des nombres

[23-24]-M2 IMD Complexité

[23-24]-Logique et Automates