Parisian Master of Research in Computer Science
Master Parisien de Recherche en Informatique (MPRI)

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

cours:2011-2012-cours2 [2012/06/26 16:15] (current)
hubertcomon created
Line 1: Line 1:
 +==== List of available level 2 modules for the academic year 2011-12 ====
 +
 +|**Module** |**Title** |**Nb. H** |**ECTS** |**Period(s)** |**Person(s) in charge** |**Teaching Language**|
 +|**[[C-2-1|2.1]]**| Logique linéaire et paradigmes logiques du calcul \\ Linear logic | 48 | 6 | 1 - 2 |R. Di Cosmo| 3/4 French, 1/4 English |
 +|**[[C-2-2|2.2]]**|Modèles des langages de programmation: domaines, catégories, jeux \\ Models of programming languages: domains, categories, games | 48 | 6 |1 - 2|P.-A. Melliès|English upon request | 
 +|**[[C-2-3|2.3]]**| Concurrence \\ Concurrency| 48 | 6 | 1 - 2 |R. Amadio| English |
 +|**[[C-2-4-2|2.4]]**| Programmation fonctionnelle et systemes de types \\ Functional programming and type systems | 48 | 6 | 1 - 2| X. Leroy| English upon request |
 +|**[[C-2-5|2.5]]**|Démonstration automatique \\ Automated deduction |48|6| 1 - 2|J. Goubault |French by default |
 +|**[[C-2-6|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 |R. Cousot| English upon request |
 +|**[[C-2-7-1|2.7.1]]**|Fondements des systèmes de preuves \\ Foundations of proof systems|24|3| 1 - 2 |G. Dowek|English upon request |
 +|**[[C-2-7-2|2.7.2]]**|Assistants de preuves \\ Proof assistants| 24 | 3 |2  |B. Barras | English upon request |
 +|**[[C-2-8|2.8]]**|Fondements pour la vérification des systèmes temps-réel\\ Foundations of real time systems verification|48|6| 1 - 2 |P. Bouyer|English upon request |
 +|**[[C-2-9|2.9]]**|Vérification de systèmes dynamiques et paramétrés \\ verification of parametrized and dynamic systems |48|6| 1 - 2 | A. Finkel|English upon request |
 +|**[[C-2-10|2.10]]** |Aspects algorithmiques de la combinatoire \\ Algorithmic aspects of combinatorics|48|6| 1 - 2 |G. Schaeffer| French |
 +|**[[C-2-11-1|2.11.1]]**|Algorithmique avancée \\ Advanced algorithmics|24|3| 1  | N.Schabanel| English upon request |
 +|**[[C-2-11-2|2.11.2]]**|Complexité randomisée \\ Randomness in Complexity |24|3|1 |I. Kerenidis| English |
 +|**[[C-2-12-1|2.12.1]]**| Cryptanalyse \\ Cryptanalysis |24|3|1 | P. Nguyen| ? |
 +|**[[C-2-12-2|2.12.2]]**|Algorithmes arithmétiques pour la cryptologie \\ Arithmetic algorithms for cryptology |24|3| 1 - 2| F. Morain| 1/3 English \\ 2/3 English upon request |
 +|**[[C-2-13-1|2.13.1]]**|Systèmes polynomiaux, calcul formel et applications  \\  Polynomial systems, computer algebra and applications|24|3| 1 - 2| J.-C. Faugère| French by default |
 +|**[[C-2-13-2|2.13.2]]**|Codes correcteurs d'erreurs et applications à la cryptographie \\ Error correcting codes and applications to cryptography|24|3| 1 - 2 | D. Augot| French by default |
 +|**[[C-2-14-1|2.14.1]]**|Analyse Géométrique des Données \\ Computational Geometry Learning|24|3| 1 |M. Yvinec|English by default|
 +|**[[C-2-15|2.15]]**|Analyse d'algorithmes \\ Analysis of algorithms|48|6|1-2  |M. Soria|
 +|**[[C-2-16|2.16]]**|Modélisation par automates finis |48|6| 1 - 2|J. Sakarovitch| English upon request |
 +|**[[C-2-17-1|2.17.1]]**|Fondements sur la modélisation des réseaux \\ Foundantions of network models|24|3| 1 |F. Baccelli| English upon request | 
 +|**[[C-2-18-1|2.18.1]]**|Algorithmique distribuée pour les réseaux \\ Distributed algorithms for the networks|24|3|1 - 2 | P. Fraigniaud| French by default |
 +|**[[C-2-18-2|2.18.2]]**|Algorithmique distribuée avec mémoire partagée |24|3|1 |C. Delporte| French |
 +|**[[C-2-19|2.19]]**|Méthodes informatiques pour la biologie systémique et synthétique  \\ Computational methods for systems and synthetic biology|48|6| 1 - 2 | F. Fages| French by default |
 +|**[[C-2-20-1|2.20.1]]**|Techniques de théorie des jeux en informatique \\ Game theory techniques in computer science|24|3| 1 - 2 |W. Zielonka| English by default|
 +|**[[C-2-20-2|2.20.2]]**|Fondations mathématiques de la théorie des automates \\ Mathematical foundations of automata theory|24|3| 1 - 2| J.-E. Pin| English upon request |
 +|**[[C-2-22|2.22]]**|Algorithmes efficaces en calcul formel \\ Efficient algorithms in computer algebra|48|6|1 - 2 |B. Salvy| French |
 +|**[[C-2-23-1|2.23.1]]**|Systèmes synchrones \\ Synchronous systems|24|3| 1 | M. Pouzet| English upon request| 
 +|**[[C-2-24-1|2.24.1]]**|Optimisation \\ Optimization |24|3| 1 - 2| Ch. Durr| 1/2 English upon request, \\ 1/2 English|
 +|[[http://imagine.enpc.fr/~keriven/stereovision/|2.25.1]]|Vision algorithmique I: Reconstruction 3D|24|3| Available at [[http://www.cmla.ens-cachan.fr/fileadmin/Groupes/Mva/|MVA]] |R. Keriven|
 +|**[[C-2-26-2|2.26.2]]** | Gestion de données sur le web \\ Web data management | 24 | 3 | 1 |Serge Abiteboul| English upon request |
 +|**[[C-2-27-1|2.27.1]]**|Structures Informatiques et Logiques pour la Modélisation Linguistique|24|3| 1 |S. Schmitz| English upon request |
 +|**[[C-2-29-1|2.29.1]]**|Algorithmique des graphes \\ Graph algorithms |24|3| 1 - 2| M. Habib| English upon request|
 +|**[[C-2-30|2.30]]**|Protocoles cryptographiques : preuves formelles et calculatoires  \\ Cryptographic protocols: computational and symbolic proofs |48|6| 1 - 2 | H. Comon-Lundh| English upon request | 
 +|**[[C-2-31-1|2.31.1]]**|Algorithmique et complexité des problèmes de satisfaction de contraintes \\ Constraint Satisfaction Problems: algorithms and complexity |24|3| 1 - 2 |M. Hermann| English upon request |
 +|**[[C-2-33-1|2.33.1]]** | Théorie des calculs \\ Theory of computations | 24 |3 | 1 - 2 | O. Bournez | English upon request 
 +|**[[C-2-34-1|2.34.1]]**| Informatique quantique et applications\\ Quantum information and applications | 24 | 3 | 2 | S.  Laplante| English upon request | 
 +|**[[C-2-35-1|2.35.1]]**| Programmation par contraintes\\ Constraint programming | 24| 3| 2| S. Soliman| ??|
 +|**[[C-2-36-1|2.36.1]]**| Preuve de programmes\\ Proofs of programs | 24 | 3 | 2| C. Marché | ??|
 +|**[[C-2-37-1|2.37.1]]**|Sémantique, langages et algorithmes pour la programmation multicore\\ Semantics, languages and algorithms for multicore programming | 24| 3 | 2| A. Cohen| ??|
 +
 +/**
 +|2-26-1|Logique, complexité descriptive et théorie des bases de données|24|3|L. Segoufin|
 +**/
 +
 +
 +=== Semantics of the teaching languages annotations: ===
 +   * "English upon request" means that the module will be taught in French, unless one non-French speaking student requests English
 +   * "French by Default" means that the module is taught in French, unless at least one non-French speaking student requests English and no French speaking students requests French
 +   * "English by Default" is obtained by transposing "French" and "English" in the above case.
 +   * "English" (resp. "French") means that the module will be taught in English (resp. French) independently of the students attending. Most of the time, however, some of the teaching material is available in French (resp. English)
 +
 +For a more detailed information on the teaching language of each module, as well as concerning the language of the exams,
 + please look at the web page of the module.
 +
 +
 +
 +
 +The following table summarizes the duration of each module and the weekly teaching load.
 +The modules lasting for 8 or 16 weeks may organize optional exercise classes before the exam.
 +
 +|**Module**|**Nb.Weeks** |**Nb hours each week**|                           |**Module**|**Nb.Weeks** |**Nb hours each week**|
 +|**[[C-2-1|2.1]]** | 20 | 2.5 | |**[[C-2-18-2|2.18.2]]** | 8 | 3 |
 +|**[[C-2-2|2.2]]** | 16 | 3 | |**[[C-2-19|2.19]]** | 16 | 3|
 +|**[[C-2-3|2.3]]** | 20 | 2.5 | |**[[C-2-20-1|2.20.1]]** | 16 | 1.5 |
 +|**[[C-2-4-2|2.4]]** | 20 | 2.5 | |**[[C-2-20-2|2.20.2]]** | 16 | 1.5 |
 +|**[[C-2-5|2.5]]** | 16 | 3 | |**[[C-2-22|2.22]]** | 16 | 3 |
 +|**[[C-2-6|2.6]]** | 16 | 3 | |**[[C-2-23-1|2.23.1]]** | 8 | 3 |
 +|**[[C-2-7-1|2.7.1]]** | 16  | 1.5 | |**[[C-2-24-1|2.24.1]]** | 16 | 1.5 |
 +|**[[C-2-7-2|2.7.2]]** | 8 | 3 | |**[[C-2-26-2|2.26.2]]** | 8 | 3 |
 +|**[[C-2-8|2.8]]** | 16 | 3 | |**[[C-2-27-1|2.27.1]]** | 8 | 3 |
 +|**[[C-2-9|2.9]]** | 20 | 2.5 | |**[[C-2-29-1|2.29.1]]** | 16 | 1.5 |
 +|**[[C-2-10|2.10]]** | 20 | 2.5 | |**[[C-2-30|2.30]]** | 16 | 3 |
 +|**[[C-2-11-1|2.11.1]]** | 8 | 3 | |**[[C-2-31-1|2.31.1]]** | 16 | 1.5 |
 +|**[[C-2-11-2|2.11.2]]** | 8 | 3 | |**[[C-2-33-1|2.33.1]]** | 16 | 1.5 |
 +|**[[C-2-12-1|2.12.1]]** | 10 | 2.5 | |**[[C-2-34-1|2.34.1]]** | 8 | 3 |
 +|**[[C-2-12-2|2.12.2]]** | 16 | 1.5 | |**[[C-2-35-1|2.35.1]]** | 8 | 3|
 +|**[[C-2-13-1|2.13.1]]** | 16 | 1.5 | |**[[C-2-36-1|2.36.1]]** | 8 | 3|
 +|**[[C-2-13-2|2.13.2]]** | 16 | 1.5 | |**[[C-2-37-1|2.37.1]]** | 8 | 3|
 +|**[[C-2-14-1|2.14.1]]** | 8 | 3 |
 +|**[[C-2-15|2.15]]** | 16 | 3 |
 +|**[[C-2-16|2.16]]** | 16 | 3 |
 +|**[[C-2-17-1|2.17.1]]** | 16 | 1.5 |
 +|**[[C-2-18-1|2.18.1]]** | 16 | 1.5 |
 +
 +
  
 
Universités partenaires Université Paris-Diderot
Université Paris-Saclay
ENS Cachan École polytechnique Télécom ParisTech
ENS
Établissements associés Université Pierre-et-Marie-Curie CNRS INRIA CEA