Module | Title | Nb. H | ECTS | Period(s) | Nb. Week | H/Week | Person(s) in charge | Teaching Language | Breakable |
2.1 | Logique linéaire et paradigmes logiques du calcul
Linear logic | 48 | 6 | 1-2 | 16 | 3 | R. Di Cosmo | 3/4 French by default, 1/4 English | |
2.2 | Modèles des langages de programmation: domaines, catégories, jeux
Models of programming languages: domains, categories, games | 48 | 6 | 1-2 | 16 | 3 | P.-A. Melliès | English upon request | |
2.3 | Concurrence
Concurrency | 48 | 6 | 1-2 | 20 | 2.5 | R. Amadio | 1/4 French, 3/4 English | Yes |
2.4 | Programmation fonctionnelle et systemes de types
Functional programming and type systems | 48 | 6 | 1-2 | 20 | 2.5 | X. Leroy | French by default | |
2.5 | Démonstration automatique
Automated deduction | 24 | 3 | 2 | 8 | 3 | E. Contejean | French by default | |
2.6 | Interprétation abstraite: application à la vérification et à l'analyse statique
Abstract interpretation: application to verification and static analysis | 48 | 6 | 1-2 | 16 | 3 | A. Miné | English upon request | |
2.7.1 | Fondements des systèmes de preuves
Foundations of proof systems | 24 | 3 | 1-2 | 16 | 1.5 | G. Dowek | English upon request | |
2.7.2 | Assistants de preuves
Proof assistants | 24 | 3 | 2 | 8 | 3 | B. Barras | French by default | |
2.8 | Fondements pour la vérification des systèmes temps-réel
Foundations of real time systems verification | 48 | 6 | 1-2 | 16 | 3 | B. Bollig | French by default | |
2.9.1 | Fondements mathématiques de la théorie des systèmes infinis
Mathematical foundations of the theory of infinite transition systems | 24 | 3 | 1 | 8 | 3 | A. Finkel | French by default | |
2.9.2 (S) | Vérification algorithmique des programmes
Algorithmic verification of programs | 24 | 3 | 1 | 8 | 3 | A. Bouajjani | English upon request | |
2.10 | Aspects algorithmiques de la combinatoire
Algorithmic aspects of combinatorics | 48 | 6 | 1-2 | 20 | 2.5 | G. Schaeffer | French | |
2.11.1 (S) | Algorithmique Avancée
Advanced algorithms | 24 | 3 | 1 | 8 | 3 | N. Schabanel | English upon request | |
2.11.2 | Complexité randomisée
Randomness in complexity | 24 | 3 | 1 | 8 | 3 | I. Kerenidis | English | |
2.12.1 | Techniques en cryptographie et cryptoanalyse
Techniques in cryptography and cryptanalysis | 24 | 3 | 1-2 | 16 | 1.5 | M. Abdalla | English | |
2.12.2 | Algorithmes arithmétiques pour la cryptologie
Arithmetic algorithms for cryptology | 24 | 3 | 1-2 | 16 | 1.5 | F. Morain | 1/3 English by default
2/3 English upon request | |
2.13.1 | Systèmes polynomiaux, calcul formel et applications
Polynomial systems, computer algebra and applications | 24 | 3 | 1-2 | 16 | 1.5 | J.-C. Faugère | English upon request | |
2.13.2 | Codes correcteurs d'erreurs et applications à la cryptographie
Error correcting codes and applications to cryptography | 24 | 3 | 1-2 | 16 | 1.5 | D. Augot | French by default | |
2.14.1 | Analyse géométrique des données
Computational geometry learning | 24 | 3 | 1 | 10 | 2.5 | M. Yvinec | English upon request | |
2.15 | Analyse d'algorithmes
Analysis of algorithms | 48 | 6 | 1-2 | 16 | 3 | M. Soria | French | |
2.16 | Modélisation par automates finis
Finite automata modelling | 48 | 6 | 1-2 | 16 | 3 | J. Sakarovitch | English upon request | |
2.17.1 | Fondements sur la modélisation des réseaux
Foundations of network models | 24 | 3 | 2 | 10 | 2.5 | J. Mairesse | English upon request | |
2.18.1 | Algorithmique distribuée pour les réseaux
Distributed algorithms on networks | 24 | 3 | 1-2 | 16 | 1.5 | P. Fraigniaud | 1/2 French by default 1/2 English | |
2.18.2 | Algorithmique distribuée avec mémoire partagée
Distributed algorithms on shared memory | 24 | 3 | 1 | 8 | 3 | C. Delporte | French | |
2.18.3 | Calcul concurrent robuste
Robust concurrent computing | 24 | 3 | 2 | 8 | 3 | P. Kuznetsov | English | |
2.19 | Méthodes informatiques pour la biologie systémique et synthétique
Computational methods for systems and synthetic biology | 48 | 6 | 1-2 | 16 | 3 | F. Fages | French by default | |
2.20.1 | Techniques de théorie des jeux en informatique
Game theory techniques in computer science | 24 | 3 | 1 | 10 | 2.5 | W. Zielonka | 1/2 English 1/2 French by default | |
2.20.2 | Fondations mathématiques de la théorie des automates
Mathematical foundations of automata theory | 24 | 3 | 1-2 | 16 | 1.5 | J.-E. Pin | English upon request | |
2.22 | Algorithmes efficaces en calcul formel
Efficient algorithms in computer algebra | 48 | 6 | 1-2 | 16 | 3 | B. Salvy | French by default | Yes |
2.23.1 | Systèmes synchrones
Synchronous systems | 24 | 3 | 1 | 8 | 3 | M. Pouzet | English upon request | |
2.24.1 | Optimisation
Optimization | 24 | 3 | 1 | 10 | 2.5 | Ch. Durr | English | |
2.26.1 | Logique, complexité descriptive et théorie des bases de données
Logic, descriptive complexity and database theory | 24 | 3 | 1 | 8 | 3 | L. Segoufin | French by default | |
2.26.2 | Gestion de données sur le web
Web data management | 24 | 3 | 2 | 8 | 3 | S. Abiteboul | English upon request | |
2.27.1 | Structures informatiques et logiques pour la modélisation linguistique
Computational structures and logics for natural language modelling | 24 | 3 | 1 | 8 | 3 | S. Schmitz | English upon request | |
2.29.1 | Algorithmique des graphes
Graph algorithms | 24 | 3 | 1-2 | 16 | 1.5 | M. Habib | French by default | |
2.30 | Protocoles cryptographiques : preuves formelles et calculatoires
Cryptographic protocols: computational and symbolic proofs | 48 | 6 | 1-2 | 16 | 3 | H. Comon-Lundh | 1/2 English 1/2 English upon request | Yes |
2.31.1 (S) | Algorithmique et complexité des problèmes de satisfaction de contraintes
Constraint Satisfaction Problems: algorithms and complexity | 24 | 3 | 2 | 8 | 3 | M. Hermann | 1/2 English by default 1/2 English upon request | |
2.33.1 | Théorie des calculs
Theory of computations | 24 | 3 | 1 | 8 | 3 | O. Bournez | French | |
2.34.1 | Informatique quantique et applications
Quantum information and applications | 24 | 3 | 2 | 8 | 3 | S. Laplante | English upon request | |
2.35.1 | Programmation par contraintes
Constraint programming | 24 | 3 | 1 | 8 | 3 | S. Soliman | French by default | |
2.36.1 | Preuve de programmes
Proofs of programs | 24 | 3 | 2 | 8 | 3 | C. Marché | English upon request | |
2.37.1 | Sémantique, langages et algorithmes pour la programmation multicore
Semantics, languages and algorithms for multicore programming | 24 | 3 | 2 | 8 | 3 | A. Cohen | English upon request | |
2.38.1 | Algorithmes pour les graphes plongés
Algorithms for embedded graphs | 24 | 3 | 1 | 8 | 3 | E. Colin de Verdiere | French by default | |