Cours 2013-2014

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 (Martin Hils)
    • Calculabilité et incomplétude (Paul Roziere)
  • Groupes de travail sur les cours fondamentaux (Sedki Boughattas, Artem Chernikov, Todor Tsankov)
  • Cours d'ouverture :
  • Introduction à la théorie de la démonstration (Thierry Joly)

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 (Alexis Saurin, Christine Tasson)
    • Théorie de la dualité en logique et informatique (Mai Gehrke)
    • Théorie des modèles finis et complexité descriptive (Manuel Bodirsky, Arnaud Durand)
    • Théorie des modèles : outils classiques (Patrick Simonetta)
    • Groupes et corps stables (Amador Martin-Pizarro)
    • 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)