Cours 2014-2015

1er semestre

  • Cours intensif de logique (Marie-Hélène Mourgues)
  • Cours Fondamentaux (60h chaque)
    • Théorie des modèles, théorie des ensembles et incomplétude (Martin Hils)
    • Calculabilité, complexité et théorie de la démonstration (Paul Roziere)
  • Groupes de travail sur les cours fondamentaux (Sedki Boughattas, Paul Rozière et Patrick Simonetta)

2ème semestre

  • Cours d'orientation. Au moins deux cours (48h chaque) à choisir parmi :
    • Outils classiques pour la correspondance Preuves-Programmes (Alexis Saurin, Christine Tasson)
    • Contenu calculatoire des preuves de la logique classique (Thomas Ehrhard et Hugo Herbelin)
    • Théorie de la dualité en logique et informatique (Mai Gehrke)
    • Théorie des modèles finis et complexité descriptive (Arnaud Durand)
    • Théorie des modèles : outils classiques (Françoise Point)
    • Groupes et corps stables (Amador Martin-Pizarro)
    • Théorie des ensembles: outils classiques (Ramez Labib-Sami)
    • Théorie descriptive des ensembles et systèmes dynamiques (Todor Tsankov)
  • Cours d'ouverture. Deux cours au moins (24H chaque) dans la liste suivante ou parmi les cours d'orientation ou dans un autre M2.
    • Modèles de la programmation (fonctionnelle, impérative, objet) (Emmanuel Chailloux)
    • Initiation à la preuve formelle assistée par ordinateur (Pierre Letouzey)
    • Théorie des catégories: une méthodologie pour les mathématiques (Alain Prouté)