Courses marked with a (S) are suspended in 2014-2015.
To take a catch-up exam, send a mail to the teacher in charge of the course with a copy to the Director of the Master before April 30.
| Module | Title | Mid-Term Exam From November 24, 2014 until December 5, 2014 | Final Exam From March 2, 2015 until March 13, 2015 |
| 2.1 | Logique linéaire et paradigmes logiques du calcul Linear logic and logical paradigms of computation | ||
| 2.2 | Modèles des langages de programmation: domaines, catégories, jeux Models of programming languages: domains, categories, games | 06/03/2015 | |
| 2.3 | Concurrence Concurrency | ||
| 2.4 | Programmation fonctionnelle et systemes de types Functional programming and type systems | ||
| 2.5.1 | Démonstration automatique Automated deduction | ||
| 2.6 | Interprétation abstraite: application à la vérification et à l'analyse statique Abstract interpretation: application to verification and static analysis | ||
| 2.7.1 | Fondements des systèmes de preuves Foundations of proof systems | ||
| 2.7.2 | Assistants de preuves Proof assistants | ||
| 2.8.1 | Théorie non-séquentielle des systèmes distribués Non-sequential theory of distributed systems | ||
| 2.8.2 | Fondements des systèmes temps-réel et hybrides Foundations of real time and hybrid systems | ||
| 2.9.1 | Fondements mathématiques de la théorie des systèmes infinis Mathematical foundations of the theory of infinite transition systems | ||
| 2.9.2 | Vérification algorithmique des programmes Algorithmic verification of programs | ||
| 2.10 | Aspects algorithmiques de la combinatoire Algorithmic aspects of combinatorics | ||
| 2.11 (S) | Complexité randomisée (long) Randomness in complexity (long) | ||
| 2.11.1 | Algorithmes probabilistes Randomized algorithms | ||
| 2.11.2 | Complexité randomisée (court) Randomness in complexity (short) | ||
| 2.12.1 | Techniques en cryptographie et cryptoanalyse Techniques in cryptography and cryptanalysis | ||
| 2.12.2 | Algorithmes arithmétiques pour la cryptologie Arithmetic algorithms for cryptology | ||
| 2.13.1 | Systèmes polynomiaux, calcul formel et applications Polynomial systems, computer algebra and applications | ||
| 2.13.2 | Codes correcteurs d'erreurs et applications à la cryptographie Error correcting codes and applications to cryptography | ||
| 2.14.1 | Analyse géométrique des données Computational geometry learning | ||
| 2.15 | Analyse d'algorithmes Analysis of algorithms | 05/03/2015 | |
| 2.16 | Modélisation par automates finis Finite automata modelling | ||
| 2.17.1 | Fondements sur la modélisation des réseaux Foundations of network models | 10/03/2015 à 9h, salle 1008; documents autorisés : 2 feuilles A4 R/V avec des notes | |
| 2.18.1 | Algorithmique distribuée pour les réseaux Distributed algorithms on networks | ||
| 2.18.2 | Algorithmique distribuée avec mémoire partagée Distributed algorithms on shared memory | ||
| 2.19 | Méthodes informatiques pour la biologie systémique et synthétique Computational methods for systems and synthetic biology | ||
| 2.20.1 | Techniques de théorie des jeux en informatique Game theory techniques in computer science | ||
| 2.20.2 | Fondations mathématiques de la théorie des automates Mathematical foundations of automata theory | ||
| 2.22 | Algorithmes efficaces en calcul formel Efficient algorithms in computer algebra | ||
| 2.23.1 | Systèmes synchrones Synchronous systems | ||
| 2.24.1 | Optimisation Optimization | ||
| 2.26.1 (S) | Logique, complexité descriptive et théorie des bases de données Logic, descriptive complexity and database theory | ||
| 2.26.2 | Gestion de données sur le web Web data management | ||
| 2.27.1 | Structures informatiques et logiques pour la modélisation linguistique Computational structures and logics for natural language modelling | ||
| 2.29.1 | Algorithmique des graphes Graph algorithms | ||
| 2.30 | Protocoles cryptographiques : preuves formelles et calculatoires Cryptographic protocols: computational and symbolic proofs | ||
| 2.31.1 (S) | Algorithmique et complexité des problèmes de satisfaction de contraintes Constraint Satisfaction Problems: algorithms and complexity | ||
| 2.33.1 | Théorie des calculs Theory of computations | ||
| 2.34.1 | Informatique quantique et applications Quantum information and applications | ||
| 2.35.1 (S) | Programmation par contraintes Constraint programming | ||
| 2.36.1 | Preuve de programmes Proofs of programs | ||
| 2.37.1 | Sémantique, langages et algorithmes pour la programmation multicore Semantics, languages and algorithms for multicore programming | ||
| 2.38.1 | Algorithmique et combinatoire des graphes géométriques Algorithms and combinatorics for geometric graphs |