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:cours2 [2019/09/20 10:51]
carton [List of level 2 modules]
cours:cours2 [2019/09/20 17:59] (current)
carton [List of level 2 modules]
Line 36: Line 36:
 |**[[C-2-1|2.1]]**| Logique linéaire et paradigmes logiques du calcul \\ Linear logic and logical paradigms of computation | 48 | 6 | 1-2 | 16 |3 |D. Kesner| 3/4 French by default, 1/4 English | | |**[[C-2-1|2.1]]**| Logique linéaire et paradigmes logiques du calcul \\ Linear logic and logical paradigms of computation | 48 | 6 | 1-2 | 16 |3 |D. Kesner| 3/4 French by default, 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| 16 | 3 |P.-A. Melliès|English upon request | | |**[[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| 16 | 3 |P.-A. Melliès|English upon request | |
-|**[[C-2-3|2.3.1]]** | Concurrence \\ Concurrency| 24 | 3 | 2 | 8 | 3 |E. Haucourt| French by default |  |+|**[[C-2-3|2.3.1]]** | Concurrence \\ Concurrency| 24 | 3 | 2 | 8 | 3 |E. Haucourt| French |  |
 |**[[C-2-3-2|2.3.2]]**| Fondements de la confidentialité des données\\ Foundations of privacy| 24 | 3 | 2 | 8 | 3 |C. Palamidessi| English|  | |**[[C-2-3-2|2.3.2]]**| Fondements de la confidentialité des données\\ Foundations of privacy| 24 | 3 | 2 | 8 | 3 |C. Palamidessi| English|  |
 |**[[C-2-4-2|2.4]]**| Programmation fonctionnelle et systèmes de types \\ Functional programming and type systems | 48 | 6 | 1-2| 20 | 2.5 |D. Rémy| French by default | Yes | |**[[C-2-4-2|2.4]]**| Programmation fonctionnelle et systèmes de types \\ Functional programming and type systems | 48 | 6 | 1-2| 20 | 2.5 |D. Rémy| French by default | Yes |
 
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