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é)
