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

internships2014 [2014/09/10 10:12]
amadio
internships2014 [2014/09/10 10:12] (current)
amadio
Line 1: Line 1:
      ===== Internships 2013/2014 =====      ===== Internships 2013/2014 =====
-**[[internship_submit|Submit an internship offer]]**+** **
   - **[[http://guillaume.piolle.fr/doc/equity-en.pdf|Studying the notion of equity in privacy policy conflict resolution]]** \\ <color grey>Guillaume Piolle & Valérie Vient Triem Tong - Supélec, Rennes</color>\\ <color grey></color>   - **[[http://guillaume.piolle.fr/doc/equity-en.pdf|Studying the notion of equity in privacy policy conflict resolution]]** \\ <color grey>Guillaume Piolle & Valérie Vient Triem Tong - Supélec, Rennes</color>\\ <color grey></color>
   - **[[http://www.lsv.ens-cachan.fr/Stages/Fichier/m2-14-sys.pdf|Proof Systems for XPath]]** \\ <color grey>S. Schmitz - LSV, ENS Cachan</color>\\ <color grey>2-9-1 (also 2-26-2 and 2-1)</color>   - **[[http://www.lsv.ens-cachan.fr/Stages/Fichier/m2-14-sys.pdf|Proof Systems for XPath]]** \\ <color grey>S. Schmitz - LSV, ENS Cachan</color>\\ <color grey>2-9-1 (also 2-26-2 and 2-1)</color>
Line 161: Line 161:
   - **[[http://didascalie.informatique.univ-paris-diderot.fr:8080/public/stage-mpri-2013.pdf|Analyse et calcul de dépendances sémantiques ]]** \\ <color grey>Yann Regis-Gianas - PIR2 - PPS</color>\\ <color grey></color>   - **[[http://didascalie.informatique.univ-paris-diderot.fr:8080/public/stage-mpri-2013.pdf|Analyse et calcul de dépendances sémantiques ]]** \\ <color grey>Yann Regis-Gianas - PIR2 - PPS</color>\\ <color grey></color>
   - **[[http://www.di.ens.fr/~mine/enseignement/mpri/2013-2014/stages/stage-M2-parallel.pdf|Static analysis by abstract interpretation of concurrent programs in weakly consistent memories]]** \\ <color grey>Antoine Miné - ENS Ulm</color>\\ <color grey>Interprétation Abstraite, Concurrence, Programmation Multicore</color>   - **[[http://www.di.ens.fr/~mine/enseignement/mpri/2013-2014/stages/stage-M2-parallel.pdf|Static analysis by abstract interpretation of concurrent programs in weakly consistent memories]]** \\ <color grey>Antoine Miné - ENS Ulm</color>\\ <color grey>Interprétation Abstraite, Concurrence, Programmation Multicore</color>
-  - **[[https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=internship_submit|This is a test]]** \\ <color grey>Super Advisor</color>\\ <color grey>All</color> 
- 
 
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