Cours 2012-2013

1er semestre

  • Cours intensif de logique (Marie-Hélène Mourgues)
  • Cours Fondamentaux (48h chaque)
    • Théorie des modèles et théorie des ensembles (Todor Tsankov)
    • Calculabilité et incomplétude (Paul Roziere, Arnaud Durand)
  • Groupes de travail sur les cours fondamentaux (Sedki Boughattas, René Cori)

2ème semestre

  • Cours d'orientation. Au moins deux cours (48h chaque) à choisir parmi :
    • Théorie de la démonstration (Claudia Faggian, Damiano Mazza)
    • Lambda-calcul et preuves (Thomas Ehrhard, Alexis Saurin)
    • Vérification approchée et complexité (Michel de Rougemont)
    • Théorie des modèles finis et applications (Arnaud Durand, Michael Pinsker)
    • Théorie des modèles : outils classiques (Patrick Simonetta)
    • Théorie des modèles et groupes (Eric Jaligot)
    • Grands Cardinaux (Boban Velickovic)
    • Theorie des ensembles (Ramez Labib-Sami)
  • Cours d'ouverture. Deux cours au moins dans la liste ou dans un autre M2 :
    • Modèles de la programmation (fonctionnelle, impérative, objet) (Emmanuel Chailloux)
    • Initiation à la preuve formelle assistée par ordinateur (Christophe Raffalli)