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

internships2013 [2013/09/23 10:54] (current)
amadio created
Line 1: Line 1:
 +===== Internships 2012/2013 =====
 +**[[internship_submit|Submit an internship offer]]**
 +
 +  - **[[http://www-verimag.imag.fr/M2R-Info-2012-2013-Analyse.html|Analyse statique de programme par interprétation abstraite]]** \\ <color grey>David Monniaux, Grenoble</color>\\ <color grey>2.6, 2.9.2, 2.5</color>
 +  - **[[http://www-verimag.imag.fr/M2R-2012-2013-Analyse-modulaire-de.html|Analyse modulaire de programmes]]** \\ <color grey>David Monniaux, Grenoble</color>\\ <color grey>2.6, 2.9.2, 2.5</color>
 +  - **[[http://www-verimag.imag.fr/M2R-2012-2013-Analyse-de-programme.html|Analyse de programme efficace : SMT-solving et itérations]]** \\ <color grey>David Monniaux, Grenoble</color>\\ <color grey>2.6, 2.9.2, 2.5</color>
 +  - **[[http://www-verimag.imag.fr/M2R-2012-2013-Optimisation-de.html|Optimisation de formules SMT]]** \\ <color grey>David Monniaux, Grenoble</color>\\ <color grey>2.5</color>
 +  - **[[http://www-verimag.imag.fr/M2R-2012-2013-Decision-de-formules.html|Décision de formules contenant des flottants]]** \\ <color grey>David Monniaux, Grenoble</color>\\ <color grey>2.5</color>
 +  - **[[http://www-verimag.imag.fr/~moy/?Dedicated-compilation-techniques|Techniques de compilation dédiées pour un langage spécifique à un domaine (SystemC)]]** \\ <color grey>Matthieu Moy, Verimag, Grenoble</color>\\ <color grey></color>
 +  - **[[http://www-verimag.imag.fr/Master-2R-2011-2012-Performance.html|Performance Evaluation for Embedded Systems using Formal Methods]]** \\ <color grey>Matthieu Moy et Karine Altisen, Verimag, Grenoble</color>\\ <color grey></color>
 +  - **[[http://www.di.ens.fr/~feret/internship_or_2012.txt|Réduction de modèles à plusieurs échelles de temps en tant que réécriture de graphe]]** \\ <color grey>Ovidiu Radulescu / Biophysique théorique et biologie des systèmes, DIMNP UMR 5235, Montpellier</color>\\ <color grey>éventuellement, 2.19 & 2.6</color>
 +  - **[[http://www.liafa.univ-paris-diderot.fr/~touili/sujet-master.pdf|Model-Checking Techniques for Virus and Malware Detection]]** \\ <color grey>Tayssir TOUILI - LIAFA, Paris</color>\\ <color grey>1-22, 2.6, 2.9.1, 2.9.2</color>
 +  - **[[http://www.rennes.supelec.fr/ren/rd/cidre/proposals/hybridation2012en.pdf|Strategy hybridation for normative conflict resolution]]** \\ <color grey>Guillaume Piolle & Valérie Viet Triem Tong - Supélec, Rennes, France</color>\\ <color grey>Automated deduction, proof systems, proof assistants</color>
 +  - **[[http://www.rennes.supelec.fr/ren/rd/cidre/proposals/forgotten2012.pdf|Implementing the right to be forgotten]]** \\ <color grey>Sébastien Gambs & Guillaume Piolle - Supélec, Rennes</color>\\ <color grey></color>
 +  - **[[http://perso.citi.insa-lyon.fr/gsalagnac/files/stage-entropie.pdf|Gathering Entropy from Solid State Drives]]** \\ <color grey>Guillaume Salagnac - CITI INSA-Lyon</color>\\ <color grey></color>
 +  - **[[https://jobs.extranet.3ds.com/recruitment_details?q=301523&lang=FRA|Fusion de Données d’une Console KINECT et de Capteurs additionnels]]** \\ <color grey>Fabrice Michel</color>\\ <color grey></color>
 +  - **[[https://jobs.extranet.3ds.com/recruitment_details?q=301515&lang=FRA|Hachage parfait pour la compression de données]]** \\ <color grey>Fabrice Michel - Dassault Systemes Vélizy</color>\\ <color grey></color>
 +  - **[[http://www.eurecom.fr/~loiseau/Internship_EURECOM_Privacy.pdf |Economics of privacy in social networks]]** \\ <color grey>Patrick Loiseau - EURECOM (Sophia-Antipolis)</color>\\ <color grey></color>
 +  - **[[http://www.eurecom.fr/~loiseau/Internship_EURECOM_reliability.pdf |Resource allocation in data centers: reliability vs energy consumption ]]** \\ <color grey>Patrick Loiseau - EURECOM (Sophia-Antipolis)</color>\\ <color grey></color>
 +  - **[[http://www.eurecom.fr/~loiseau/Internship_EURECOM_SpamFilter.pdf|Interaction between game theory and statistical learning: the example of a spam filter]]** \\ <color grey>Patrick Loiseau - EURECOM (Sophia-Antipolis)</color>\\ <color grey></color>
 +  - **[[http://perso.ens-lyon.fr/damien.pous/stages.html|Kleene algebras, automata and regular expressions]]** \\ <color grey>Damien Pous - ENS Lyon</color>\\ <color grey></color>
 +  - **[[http://perso.ens-lyon.fr/damien.pous/stages.html|PiCoq: pi-calculus within Coq]]** \\ <color grey>Damien Pous - ENS Lyon</color>\\ <color grey></color>
 +  - **[[http://perso.ens-lyon.fr/damien.pous/stages.html|Decision procedures for cyclic linear logic and non-commutative structures.]]** \\ <color grey>Damien Pous - ENS Lyon</color>\\ <color grey></color>
 +  - **[[http://geometrica.saclay.inria.fr/team/Marc.Glisse/stage/homological-simplification/|Homological simplification for reconstruction]]** \\ <color grey>Marc Glisse - INRIA Saclay (Polytechnique)</color>\\ <color grey></color>
 +  - **[[http://www-desir.lip6.fr/~fouilhoux/documents/stage_M2_OnOff.pdf|Approche polyédrale pour le problème de planification des démarrages d'unités de production]]** \\ <color grey>C.Dürr, LIP6</color>\\ <color grey>2-24-1</color>
 +  - **[[http://www-desir.lip6.fr/~fouilhoux/documents/stage_M2_3A_ORob_13.pdf|Ordonnancement robuste de tâches pour la maintenance d'une unité de production d'électricité]]** \\ <color grey>Pierre Fouilhoux, LIP6</color>\\ <color grey>2-24-1</color>
 +  - **[[http://www.di.ens.fr/~fouque/stage-aes.pdf|Cryptanalyse AES]]** \\ <color grey>Pierre-Alain Fouque (IRISA/RENNES)</color>\\ <color grey>Crypto</color>
 +  - **[[http://www.liafa.jussieu.fr/~corteel/stage.pdf|Generalisations des matrices a signes alternants]]** \\ <color grey>Sylvie Corteel - LIAFA (175 rue du Chevaleret Paris)</color>\\ <color grey>C2-10, C2-15</color>
 +  - **[[http://www.liafa.univ-paris-diderot.fr/~klimann/Stages/stage2012_2013.pdf|Frontière entre décidabilité et indécidabilité pour la finitude de groupes d'automates.]]** \\ <color grey>Ines Klimann, LIAFA (Université Paris Diderot)</color>\\ <color grey>2.16, 2.20.2</color>
 +  - **[[http://www.lix.polytechnique.fr/~amturing/stages.html|ALGORITHMIQUE DES GRAPHES PLONGÉS SUR DES SURFACES: dessin de graphes]]** \\ <color grey>Luca Castelli Aleardi, Eric Fusy (LIX, Ecole Polytechnique)</color>\\ <color grey>2.38.1, 2.10</color>
 +  - **[[http://www.lix.polytechnique.fr/~amturing/stages.html|Structures de données compactes pour les maillages]]** \\ <color grey>Luca Castelli Aleardi, Gilles Schaeffer (LIX, Ecole Polytechnique)</color>\\ <color grey>2.38.1, 2.10</color>
 +  - **[[http://www.lsv.ens-cachan.fr/Stages/Fichier/m2-13-sys1|Reachability in Lossy VASS]]** \\ <color grey>Sylvain Schmitz - LSV, ENS Cachan</color>\\ <color grey>2.9.1</color>
 +  - **[[http://www.lsv.ens-cachan.fr/Stages/Fichier/m2-13-sys2|VASS Simulations]]** \\ <color grey>Sylvain Schmitz - LSV, ENS Cachan</color>\\ <color grey>2.9.1</color>
 +  - **[[http://www0.cs.ucl.ac.uk/staff/j.alglave/internship.html|Tracelet Semantics of Weak Memory]]** \\ <color grey>Jade Alglave and Peter O'Hearn - London</color>\\ <color grey></color>
 +  - **[[http://www0.cs.ucl.ac.uk/staff/J.Villard/internship-AI-verif.html|Links between AI and Program Verification]]** \\ <color grey>Peter O'Hearn and Jules Villard</color>\\ <color grey></color>
 +  - **[[http://prosecco.gforge.inria.fr/internships/mpri-2013-1.html|Hardware-based Privilege Separation for Cryptographic Protocol Implementations]]** \\ <color grey>Karthikeyan Bhargavan and Graham Steel</color>\\ <color grey>2.30, 2.36.1</color>
 +  - **[[http://perso.ens-lyon.fr/damien.pous/stages.html|Coinductive algorithms for non standard automata]]** \\ <color grey>Damien Pous - Filippo Bonchi</color>\\ <color grey></color>
 +  - **[[http://www.lsv.ens-cachan.fr/Stages/Fichier/m2-13-dbsd.pdf|State-Space Reductions for Verifying Equivalences of Security Protocols]]** \\ <color grey>David Baelde and Stéphanie Delaune - LSV / ENS Cachan</color>\\ <color grey>2.30 / 2.3</color>
 +  - **[[http://www.lsv.ens-cachan.fr/Stages/Fichier/m2-13-vcsd.pdf|Verification of security protocols: composition issues]]** \\ <color grey>Véronique Cortier and Stéphanie Delaune - Nancy and/or Cachan</color>\\ <color grey>2.30</color>
 +  - **[[http://www.lsv.ens-cachan.fr/Stages/Fichier/m2-13-sdsk1.pdf|Verification of equivalence properties in security protocols]]** \\ <color grey>Stéphanie Delaune and Steve Kremer - Cachan and/or Nancy</color>\\ <color grey>2.30</color>
 +  - **[[http://www.lsv.ens-cachan.fr/Stages/Fichier/m2-13-sdsk2.pdf|Formalizing some combinatorial attacks in security protocols]]** \\ <color grey>Stéphanie Delaune and Steve Kremer - Cachan and/or Nancy</color>\\ <color grey>2.30</color>
 +  - **[[http://www.lsv.ens-cachan.fr/~finkel/2012-2013/M2/m2.KM.pdf|Better Approximations of VASS Reachability Sets]]** \\ <color grey>Alain Finkel, Jérôme Leroux</color>\\ <color grey></color>
 +  - **[[http://www.lsv.ens-cachan.fr/~finkel/2012-2013/M2/m2.algo-downward.pdf|Algorithmics of infinite Downward-Closed Sets for WSTS]]** \\ <color grey>Alain Finkel</color>\\ <color grey></color>
 +  - **[[http://www.eads.com/eads/france/fr/travailler-pour-EADS/postuler/rechercher-les-offres.jobid-508EF149AE780DB5E1000000C2CE163F.html|Développement d’un outil de transformation de modèles]]** \\ <color grey>David Lesens - Astrium Les Mureaux</color>\\ <color grey></color>
 +  - **[[http://www.eads.com/eads/france/fr/travailler-pour-EADS/postuler/rechercher-les-offres.jobid-5085624F3A276034E1000000C2CE163F.html|Mise en oeuvre de l'outil de modélisation SCADE en conditions opérationnelles]]** \\ <color grey>Sébastien Poirieux - Astrium Les Mureaux</color>\\ <color grey></color>
 +  - **[[http://www.eads.com/eads/france/fr/travailler-pour-EADS/postuler/rechercher-les-offres.jobid-5085AB3C4E1B300EE1000000C2CE163F.html|Atelier de validation SCADE pour autocoding Ada]]** \\ <color grey>Olivier Boudillet - Astrium Les Mureaux</color>\\ <color grey></color>
 +  - **[[http://www.eads.com/eads/france/fr/travailler-pour-EADS/postuler/rechercher-les-offres.jobid-50859E064C541E1BE1000000C2CE163F.html|Aide au prototypage rapide de logiciels embarqués critiques]]** \\ <color grey>Christophe Goarin - Astrium Les Mureaux</color>\\ <color grey></color>
 +  - **[[http://www.eads.com/eads/france/fr/travailler-pour-EADS/postuler/rechercher-les-offres.jobid-5085B23C5ABC36CEE1000000C2CE163F.html|Model Based Testing]]** \\ <color grey>Albert Jou - Astrium Les Mureaux</color>\\ <color grey></color>
 +  - **[[http://www.eads.com/eads/france/fr/travailler-pour-EADS/postuler/rechercher-les-offres.jobid-5085C1C063F41CEAE1000000C2CE163F.html|Etude des réseaux Time Triggered Ethernet et AFDX]]** \\ <color grey>Pierre Sautereau - Astrium Les Mureaux</color>\\ <color grey></color>
 +  - **[[http://www.eads.com/eads/france/fr/travailler-pour-EADS/postuler/rechercher-les-offres.referringdivision-eurocopter.jobid-5093159DA4E54493E1000000C2CE163F.html|Prototypage virtuel d’une architecture numérique]]** \\ <color grey>Benjamin Disson - Astrium Les Mureaux</color>\\ <color grey></color>
 +  - **[[http://www.liafa.univ-paris-diderot.fr/~picantin/Stages/burnside.pdf|Machines de Mealy et problème de Burnside]]** \\ <color grey>Matthieu Picantin, LIAFA (Université Paris Diderot)</color>\\ <color grey>2.16 & 2.20.2</color>
 +  - **[[http://contraintes.inria.fr/wiki/jobs/#tropicalization|Tropicalisation]]** \\ <color grey>François Fages - Inria Rocquencourt</color>\\ <color grey>C2-19 C2-29-1 C2-9.1</color>
 +  - **[[http://contraintes.inria.fr/wiki/jobs/#patterns|Patterns of quantitative temporal logic formulae for systems biology]]** \\ <color grey>François Fages - Inria Rocquencourt</color>\\ <color grey>C2-19  C2.9.1</color>
 +  - **[[http://contraintes.inria.fr/wiki/jobs/#sepi|Computing Subgraph Epimorphisms by a Randomized Adaptive Search Procedure]]** \\ <color grey>François Fages - Inria Rocquencourt</color>\\ <color grey>C2-24-1 C2-29-1 C2-19 C2-10 </color>
 +  - **[[http://www.lix.polytechnique.fr/~pilaud/stages/stage_MPRI12_diametreMultiassociaedre.pdf|Le diamètre du multiassociaèdre]]** \\ <color grey>Vincent Pilaud & Lionel Pournin - LIX, École Polytechnique</color>\\ <color grey>2.10</color>
 +  - **[[http://www.lix.polytechnique.fr/~pilaud/stages/stage_MPRI12_multitriangulationsSurfaces.pdf|Multitriangulations de surfaces]]** \\ <color grey>Vincent Pilaud - LIX, École Polytechnique</color>\\ <color grey>2.10, 2.38.1</color>
 +  - **[[http://www.di.ens.fr/~pointche/stages/stages/2013-broadcast.pdf|Diffusion chiffrée avec décentralisation de la gestion des membres]]** \\ <color grey>David Pointcheval - ENS</color>\\ <color grey>Cryptographie</color>
 +  - **[[http://www.di.ens.fr/~feret/stages/sujet_mpri_2013_O_Roux.pdf|Algorithmes de recherche des bassins d’attraction dans des graphes de modélisation des systèmes dynamiques complexes]]** \\ <color grey>Olivier Roux  IRCCyN, Ecole Centrale de Nantes --- Equipe MeForBio</color>\\ <color grey>2.19 (souhaitable); 2.6 (éventuellement)</color>
 +  - **[[http://www.lifl.fr/CALFORME/pmwiki/index.php?n=MasterI.Stage-2012-2|Around a new algorithm to solve systems of linear equations modulo p]]** \\ <color grey>Charles Bouillaguet --- LIFL Lab (Lille)</color>\\ <color grey>calcul formel, algorithmes randomisés, algorithmes pour la crypto</color>
 +  - **[[http://www.di.ens.fr/~feret/internship_or_2013.txt|Réduction de modèles à plusieurs échelles de temps en tant que réécriture de graphe]]** \\ <color grey>Ovidiu Radulescu / Biophysique théorique et biologie des systèmes, DIMNP UMR 5235, Montpellier</color>\\ <color grey>éventuellement, 2.19 & 2.6</color>
 +  - **[[http://www.di.ens.fr/~feret/internship_or_or_2013.txt|Réduction de processus de frappe via leur sémantique différentielle]]** \\ <color grey>Olivier Roux: IRCCyN, Ecole Centrale de Nantes - Equipe MeForBio & Ovidiu Radulescu: Biophysique théorique et biologie des systèmes, DIMP UMR 5235, CNRS/Université de Montpellier 1&2</color>\\ <color grey>éventuellement, 2.19 & 2.6</color>
 +  - **[[http://www.ai.univ-paris8.fr/~elmrabet/SujetStage/SujetReseauxM21012_13.pdf|Optimisation du chiffrement homomorphe]]** \\ <color grey>N. El Mrabet and N. Gama - PRISM _ Université de Versailles</color>\\ <color grey>2.12.1, 2.12.2</color>
 +  - **[[http://www.lix.polytechnique.fr/~batteux/Stage-AltaRicaTemporise.pdf|Définition d'un modèle temporisé du langage AltaRica. ]]** \\ <color grey>Antoine RAUZY, Michel BATTEUX, Tatiana PROSVIRNOVA - LIX Polytechnique</color>\\ <color grey></color>
 +  - **[[http://gallium.inria.fr/~fpottier/stages/sujet2013-m2.pdf|Tableaux et raisonnement arithmétique dans le compilateur Mezzo]]** \\ <color grey>François Pottier, INRIA Paris-Rocquencourt</color>\\ <color grey>2.4, 2.36.1</color>
 +  - **[[http://orange.jobs/jobs/offer.do?joid=28919&lang=fr|Etude de la sécurité d’un mécanisme générique de délégation de calculs cryptographiques]]** \\ <color grey>Sébastien Canard - Orange Labs Caen</color>\\ <color grey>1.1; 1.13; 1.14; 1.22; 2.7.2; 2.12.1; 2.12.2; 2.22; 2.30</color>
 +  - **[[http://www.loria.fr/~slenglet/sujet.html|Bisimulations pour le calcul de réécriture]]** \\ <color grey>Sergueï Lenglet - LORIA</color>\\ <color grey></color>
 +  - **[[http://www.lri.fr/~sboldo/files/stageM2.pdf|Vérification formelle d'un calcul multiprécision de pi]]** \\ <color grey>Sylvie Boldo et Guillaume Melquiond - Orsay</color>\\ <color grey>2.7.1, 2.7.2, 2.22, 2.36.1</color>
 +  - **[[http://www.lacl.fr/cervelle/StageM2.pdf|Limites continues d’automates cellulaires]]** \\ <color grey>Julien Cervelle - Créteil</color>\\ <color grey>2.33.1</color>
 +  - **[[http://www.lipn.fr/~fernique/temp/flips.pdf|Pavages, flips et motifs interdits]]** \\ <color grey>Olivier Bodini, Thomas Fernique - Université Paris 13</color>\\ <color grey>1.24, 2.15</color>
 +  - **[[http://www.lri.fr/~mandel/stages/2012-2013-rml-fr.pdf|Compilation de programmes réactifs]]** \\ <color grey>Louis Mandel -- ENS</color>\\ <color grey>2.23.1, 2.4</color>
 +  - **[[http://www.ibc-montpellier.fr/annonce.php|Lier dynamique des maladies infectieuses et phylogénie]]** \\ <color grey>Samuel Alizon (CR CNRS, MIVEGEC) & Olivier Gascuel (DR CNRS, LIRMM)</color>\\ <color grey></color>
 +  - **[[http://www.di.ens.fr/~mine/enseignement/mpri/2012-2013/stages/stage_parallel.html|Interference abstractions for thread-modular static analyses by abstract interpretation]]** \\ <color grey>Antoine Miné - École normale supérieure, Paris</color>\\ <color grey>M2-6</color>
 +  - **[[http://www.pps.univ-paris-diderot.fr/~tasson/doc/m2-2013-et.pdf|Sémantique et formule de Taylor]]** \\ <color grey>Thomas Ehrhard, Christine Tasson, PPS Paris</color>\\ <color grey>2.1,2.2</color>
 +  - **[[http://www.lix.polytechnique.fr/~lutz/stages/invariants-CL.html|Invariants of proofs in classical logic]]** \\ <color grey>Lutz Strassburger -- INRIA Saclay</color>\\ <color grey></color>
 +  - **[[http://www.lix.polytechnique.fr/~lutz/stages/countPN.html|Counting Proof Nets]]** \\ <color grey>Lutz Straßburger -- INRIA Sacalay</color>\\ <color grey></color>
 +  - **[[http://cedric.cnam.fr/~delahaye/stage.pdf|Déduction automatique modulo]]** \\ <color grey>David Delahaye, Damien Doligez, et Olivier Hermant - Inria Paris</color>\\ <color grey>2.5, 2.7.1, 2.7.2, 2.36.1</color>
 +  - **[[http://lama.univ-savoie.fr/~hirschowitz/stages/stage-2013/hirscho.html|Sémantiques de jeux concurrentes]]** \\ <color grey>Tom Hirschowitz - Chambéry</color>\\ <color grey>1-15,1-20,2-1,2-2,2-3</color>
 +  - **[[http://www.irisa.fr/celtique/aschmitt/internships/hocorecoq.html|Axiomatisation d'équivalence de programmes en Coq]]** \\ <color grey>Alan Schmitt - Inria Rennes</color>\\ <color grey>2.3, 2.4, 2.7.2, 2.36.1</color>
 +  - **[[http://www.irisa.fr/celtique/blazy/stage2013.pdf|Sémantique des obfuscations de programmes]]** \\ <color grey>Sandrine Blazy - INRIA Rennes</color>\\ <color grey>2.4    2.7.2</color>
 +  - **[[http://www.lacl.fr/gava/stages/avispatoabdc.pdf|Traduction et extension d’un langage de description des protocoles de sécurité vers une algèbre de réseaux de Petri]]** \\ <color grey>Frédéric Gava and/or Franck Pommereau</color>\\ <color grey></color>
 +  - **[[http://www.lacl.fr/gava/stages/skelincoq.pdf|Certification en Coq d'une implantation distribuée de squelettes de flots.]]** \\ <color grey>Frédéric Gava and/Joel Falcou</color>\\ <color grey></color>
 +  - **[[http://www.lacl.fr/gava/stages/GraphPar.pdf|Une bibliothèque applicative (parallèle) d'algorithmes BSP sur les graphes; implantation générique et expérimentations.]]** \\ <color grey>Frédéric Gava</color>\\ <color grey></color>
 +  - **[[http://geometrica.saclay.inria.fr/team/Fred.Chazal/PersistenceLandscapeM2.pdf|Statistical Aspects of Topologigal Data Analysis]]** \\ <color grey>Frédéric Chazal - INRIA Saclay (Bat. Turing, Campus de l'Ecole Polytechnique) </color>\\ <color grey></color>
 +  - **[[http://www.loria.fr/~ejeandel/files/stage-M2.2.pdf|Complexité de communication et langages d'images]]** \\ <color grey>Emmanuel Jeandel - LORIA (Nancy)</color>\\ <color grey>Fondations mathématiques de la théorie des automates,  Théorie des calculs</color>
 +  - **[[http://www.di.ens.fr/~cmathieu/stageM2.html|Clustering with noisy multiplex data ]]** \\ <color grey>Claire Mathieu - DI ENS</color>\\ <color grey></color>
 +  - **[[http://www.di.ens.fr/~pouzet/stages/sujetvalidation.pdf|Translation validation for synchronous data-flow equations in a Lustre compiler]]** \\ <color grey>Francesco Zappa Nardelli, Marc Pouzet, École normale supérieure</color>\\ <color grey></color>
 +  - **[[http://www.di.ens.fr/~pouzet/stages/zero-crossing.pdf|Compilation of Zero-crossing Detection in Languages for Hybrid Systems]]** \\ <color grey>Marc Pouzet, Timothy Bourke --- École normale supérieure</color>\\ <color grey></color>
 +  - **[[http://www.di.ens.fr/~pouzet/cours/mpri/stages/nondeterminism.pdf|Extending Synchronous Languages with Oracles]]** \\ <color grey>Marc Pouzet, École normale supérieure</color>\\ <color grey></color>
 +  - **[[ http://www-sop.inria.fr/geometrica/positions/Nearestneighbor.pdf| Nearest Neighbour Searching]]** \\ <color grey>Mariette YVINEC-INRIA Sophia Antipolis</color>\\ <color grey>2-14-1</color>
 +  - **[[http://www.pps.univ-paris-diderot.fr/~smimram/docs/stage_rshom.pdf|Rewriting methods for homology computation]]** \\ <color grey>Pierre-Louis Curien / Yves Guiraud / Philippe Malbos / Samuel Mimram - PPS (Université Paris 7) / CEA Saclay</color>\\ <color grey>2.2 (modèles de langages de programmation), 2.4 (programmation fonctionnelle)</color>
 +  - **[[http://www.lix.polytechnique.fr/Labo/Dale.Miller/stage/focus-on-arithmetic.html|Moving focusing proof systems to arithmetic]]** \\ <color grey>Dale Miller, LIX & INRIA-Saclay</color>\\ <color grey>2.1, 2.7.1, 2.7.2</color>
 +  - **[[https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-13-2&#internships|codes localement décodables et applications aux calculs déportés et au stockage distribué]]** \\ <color grey>Françoise Levy-dit-Vehel and Daniel Augot</color>\\ <color grey>2-13-2</color>
 +  - **[[http://www.di.ens.fr/~rival/stage-relation.pdf|Abstraction de relations entre états mémoire]]** \\ <color grey>Xavier Rival - DIENS</color>\\ <color grey>2.6</color>
 +  - **[[http://www.di.ens.fr/~rival/stage-sharing.pdf|Analyse statique de programmes manipulant des structures de données complexes avec partage]]** \\ <color grey>Xavier Rival - DIENS</color>\\ <color grey>2.6</color>
 +  - **[[http://www.loria.fr/~pougetma/web_files/2012-mpri.pdf|Geometry and topology of curves: a symbolic numeric approach]]** \\ <color grey>Marc Pouget et Guillaume Moroz</color>\\ <color grey>2.22 2.13.1</color>
 +  - **[[http://pagesperso-systeme.lip6.fr/Beatrice.Berard/PDF/sujet-secu.pdf|Sécurité des systèmes : mesures de l'opacité et des fuites d'information]]** \\ <color grey>B.Bérard, J. Mullins LIP6, UPMC et Ecole Polytechnique de Montréal</color>\\ <color grey>1-24 et 2.9.2</color>
 +  - **[[http://www.di.ens.fr/~busic/stages/stageM2_simParf.pdf|Random generation of combinatorial objects]]** \\ <color grey>Ana Busic and Anne Bouillard - INRIA and ENS, Paris</color>\\ <color grey>2.10, 2.15, 2.17.1</color>
 +  - **[[http://www.di.ens.fr/~busic/stages/stageM2_energy.pdf|Renewable Energy and the Smart Grid]]** \\ <color grey>Ana Busic</color>\\ <color grey>2.17.1, 2.24.1</color>
 +  - **[[http://dl.dropbox.com/u/19919207/Rewriting_systems.pdf|Interprétation fonctionnelle des systèmes de réécriture de mots (non associatifs)]]** \\ <color grey>Laurent Poinsot - LIPN, Université Paris 13</color>\\ <color grey></color>
 +  - **[[http://isima.fr/~limouzy/circular-permutation.pdf|Graphes de permutation circulaire et problèmes   d'optimisation et dimension d'ordre]]** \\ <color grey>V. Limouzy - Limos - Clermont-Ferrand</color>\\ <color grey>2.29.1</color>
 +  - **[[http://www.lsv.ens-cachan.fr/~markey/tmp/m2-energyTL.pdf|Temporal logics with energy constraints]]** \\ <color grey>Patricia Bouyer, Nicolas Markey (LSV, Cachan)</color>\\ <color grey>2.8,2.20.1</color>
 +  - **[[http://www.lsv.ens-cachan.fr/~markey/tmp/m2-nash.pdf|Nash equilibria in multiplayer infinite-state games ]]** \\ <color grey>Patricia Bouyer, Nicolas Markey (LSV, Cachan)</color>\\ <color grey>2.8,2.20.1</color>
 +  - **[[http://www.lsv.ens-cachan.fr/~markey/tmp/m2-randnash.pdf|Mixed Nash equilibria in multiplayer concurrent games]]** \\ <color grey>Patricia Bouyer, Nicolas Markey (LSV, Cachan)</color>\\ <color grey>2.8,2.20.1</color>
 +  - **[[http://www.pps.univ-paris-diderot.fr/~padovani/stage_m2_padovani.pdf|Filtrage et modèles de termes]]** \\ <color grey>Vincent Padovani - PPS (Paris Diderot)</color>\\ <color grey></color>
 +  - **[[http://www.trusted-labs.com/spip.php?article107#101|Vérification formelle d’implémentations cryptographiques]]** \\ <color grey>Quang-Huy Nguyen - Versailles</color>\\ <color grey>2.4, 2.4, 2.9.2, 2.12.1, 2.12.2</color>
 +  - **[[http://bts.frama-c.com/dokuwiki/lib/exe/fetch.php?media=mantis:frama-c:internship:stage_modular_pdg.pdf|Génération de graphes de dépendances de programmes modulaires]]** \\ <color grey>Boris Yakobowski - CEA LIST (Saclay)</color>\\ <color grey>2.6, 2.92</color>
 +  - **[[http://www-sop.inria.fr/mascotte/offres/connexite-grands-graphes.pdf|Connexité dans les grands graphes]]** \\ <color grey>David Coudert -- Mascotte, INRIA, I3S, CNRS, Univ. Nice Sophia (Sophia Antipolis)</color>\\ <color grey></color>
 +  - **[[http://sites.onera.fr/stages/sites/sites.onera.fr.stages/files/TIS-DTIM-2013-016_0.pdf|Méthodes catégoriques pour la modélisation et la vérification d’architectures]]** \\ <color grey>David Chemouil, Julien Brunel - Onera Toulouse</color>\\ <color grey></color>
 +  - **[[http://sites.onera.fr/stages/sites/sites.onera.fr.stages/files/TIS-DTIM-2013-017.pdf|Un langage de programmation pour le contrôle des architectures logicielles à l’exécution]]** \\ <color grey>David Chemouil, Julien Brunel - Onera Toulouse</color>\\ <color grey></color>
 +  - **[[http://www-sop.inria.fr/mascotte//offres/stage_forwarding_index.pdf|Graphs with low forwarding index and few extra edge]]** \\ <color grey>Stephane Perennes and Frederic Giroire -- Mascotte, INRIA, I3S, CNRS, Univ.  Nice Sophia (Sophia Antipolis)</color>\\ <color grey></color>
 +  - **[[http://www-sop.inria.fr/mascotte//offres/subject_cops_game.pdf|Fractional Cops and Robber Games]]** \\ <color grey>Stephane Perennes and Ronan Pardo Soares  -- Mascotte, INRIA, I3S, CNRS, Univ.  Nice Sophia (Sophia Antipolis)</color>\\ <color grey></color>
 +  - **[[http://www.liafa.univ-paris-diderot.fr/~habib/Stages|Calculs de centres et de diamiètre d'un graphe]]** \\ <color grey>Michel Habib, LIAFA</color>\\ <color grey></color>
 +  - **[[http://www.lipn.fr/~fernique/temp/assemblage.pdf|Pavages, assemblage et motifs interdits]]** \\ <color grey>Olivier Bodini, Thomas Fernique</color>\\ <color grey>1.24, 2.15</color>
 +  - **[[http://www.lipn.fr/~fernique/temp/assemblage.pdf|Pavages, assemblage et motifs interdits]]** \\ <color grey>Olivier Bodini, Thomas Fernique - Université Paris 13</color>\\ <color grey>1.24, 2.15</color>
 +  - **[[http://lipn.univ-paris13.fr/~sportiello/Materials/RedStone_M2.pdf|The "Red Stone Model": a cellular automaton with conservation rules]]** \\ <color grey>A. Sportiello -- LIPN, Univ. Paris 13</color>\\ <color grey>2.10, 2.15</color>
 +  - **[[http://www.liafa.jussieu.fr/~corteel/stage.pdf|Combinatoire des pavages par dominos]]** \\ <color grey>Sylvie Corteel et Jeremi Bouttier - LIAFA Universite Paris Diderot</color>\\ <color grey>C2-10, C2-15</color>
 +  - **[[http://http://www.di.ens.fr/~zappa/teaching/stages/stagelinux.pdf|The Linux Memory Model]]** \\ <color grey>Francesco Zappa Nardelli - ENS Paris</color>\\ <color grey>2.37.1, 2.36.1</color>
 +  - **[[http://pagesperso-systeme.lip6.fr/Tewfik.Ziadi/StageLIP6-Luxembourg.pdf|Rétro-ingénierie de ligne de produits logiciels depuis le code source]]** \\ <color grey>Yves Le Traon (Université de Luxembourg), Tewfik Ziadi (LIP6)</color>\\ <color grey></color>
 +  - **[[http://repmus.ircam.fr/_media/jacquemard/m2-quantification.pdf|Transcription rythmique]]** \\ <color grey>Jean Bresson, Florent Jacquemard - Ircam</color>\\ <color grey>2.16</color>
 +  - **[[http://www.lif.univ-mrs.fr/~jchalopi/sujets/sujet-M2-chalopin.pdf|Reconstruction de graphe par un agent mobile disposant d'une vue locale]]** \\ <color grey>Jérémie Chalopin, LIF, Marseille</color>\\ <color grey></color>
 +  - **[[http://www.di.ens.fr/ParkasOpenings.html|Programmation parallèle synchrone pour GPUs et accélérateurs matériels]]** \\ <color grey>Albert Cohen</color>\\ <color grey>2.37.1, 2.23.1</color>
 +  - **[[http://www.ibisc.fr/~angel/StageM2Recherche-IBISC.pdf|Algorithmes approchés pour la recherche de k plus courts chemins dans des graphes acycliques, planaires et orientés : Application à la recherche de microARNs dans les génomes]]** \\ <color grey>Eric Angel (équipe OPAL) et Fariza Tahi (équipe AMIS), du laboratoire IBISC. Laboratoire IBISC, IBGBI, Université d'Evry, 23 Boulevard de France, 91000 Evry.</color>\\ <color grey></color>
 +  - **[[https://www-sop.inria.fr/oasis/index.php?page=position&action=show&id=61|Analysis of advanced travel search engines based on graph]]** \\ <color grey>Eric Madelaine - David Coudert, INRIA Sophia-Antipolis</color>\\ <color grey>Algorithmique distribuée pour les réseaux; Algorithmique des graphes</color>
 +  - **[[http://www.liafa.univ-paris-diderot.fr/~sighirea/uprojects/M2R.adom-heap.pdf|Domaines abstraits pour l'analyse de programmes avec mémoire dynamique]]** \\ <color grey>Constantin Enea & Mihaela Sighireanu, LIAFA</color>\\ <color grey>2.9.2, 2.6</color>
 +  - **[[http://igm.univ-mlv.fr/~koutcher/stage-M2-NGS.pdf|Efficient Data Structures for Next-Generaton Sequencing Data]]** \\ <color grey>LIGM, Marne-la-Vallée</color>\\ <color grey>Algorithmique, Algorithmique avancée</color>
 +  - **[[http://igm.univ-mlv.fr/~koutcher/stage-M2-NGS.pdf|Efficient Data Structures for Next-Generaton Sequencing Data]]** \\ <color grey>Gregory Kucherov - LIGM, Marne-la-Vallée</color>\\ <color grey>Algorithmique, Algorithmique avancée</color>
 +  - **[[http://www.loria.fr/~marionjy/|Sur la sémantique des programmes auto-modifiants]]** \\ <color grey>Jean-Yves Marion</color>\\ <color grey></color>
 +  - **[[http://www.ibisc.univ-evry.fr/~fpommereau/dl/stage-m2r-2013-1.pdf|Unification de deux méthodes d'abstraction de données]]** \\ <color grey>Franck Pommereau, Francesco Belardinelli</color>\\ <color grey></color>
 +  - **[[http://www.ibisc.univ-evry.fr/~fpommereau/dl/stage-m2r-2013-2.pdf|Simulation rapide de réseaux de Petri colorés]]** \\ <color grey>Franck Pommereau</color>\\ <color grey></color>
 +  - **[[http://www.ibisc.univ-evry.fr/~fpommereau/dl/stage-m2r-2013-3.pdf|Méthode de tableaux pour le model-checking de la logique ATL]]** \\ <color grey>Franck Pommereau</color>\\ <color grey></color>
 +  - **[[http://www.lix.polytechnique.fr/~kostas/teaching/mpri-2012-2013/stage.html|Privacy protection in log analysis]]** \\ <color grey>Kostas Chatzikokolakis, Catuscia Palamidessi (Ecole Polytechnique and INRIA)</color>\\ <color grey>2.3 (concurrency)</color>
 +  - **[[www.lri.fr/~marche/M2-lieurs-en-Why.pdf|Preuve de programmes avec lieurs]]** \\ <color grey>Claude Marché, Andrei Paskevich - Université Paris-sud (LRI et INRIA Saclay)</color>\\ <color grey>2-36-1, 2-5, 2-7</color>
 +  - **[[http://www.lacl.fr/dima/stages/realizability-2013.pdf|Réalisabilité des spécifications en logique temporelle épistémique.]]** \\ <color grey>Catalin DIMA, LACL, Université Paris-Est Créteil</color>\\ <color grey></color>
 +  - **[[https://www.lsv.ens-cachan.fr/~soulat/stage_M2.pdf|Synthese d'ensemble invariant maximal pour systemes a commande commutee { Application a l'electronique de puissance]]** \\ <color grey>L. Fribourg, E. Goubault - LSV, ENS Cachan</color>\\ <color grey></color>
 +  - **[[http://www.liafa.univ-paris-diderot.fr/~abou/sujet_wmm.pdf|Verification of concurrent programs under relaxed memory models]]** \\ <color grey>Ahmed Bouajjani - LIAFA, Univ Paris Diderot</color>\\ <color grey>2.9.2, 2.3, 2.9.1</color>
 +  - **[[https://lezoray.users.greyc.fr/stages/SujetMaster-13.pdf|Classification de tâches pigmentaires sur des images multi-spectrales de zones de peau : aide au dépistage de carcinomes de la peau]]** \\ <color grey>GREYC UMR CNRS 6072 , CAen</color>\\ <color grey></color>
 +  - **[[https://lezoray.users.greyc.fr/stages/SujetMaster-13-1.pdf|Apprentissage profond pour l’évaluation de la qualité d’images avec référence]]** \\ <color grey>GREYC UMR CNRS 6072, Caen</color>\\ <color grey></color>
 +  - **[[http://www.complexnetworks.fr/wp-content/uploads/2010/11/diffusion1.pdf|Phénomènes de diffusion dans les réseaux]]** \\ <color grey>Matthieu Latapy, LIP6 (CNRS - UPMC), Paris</color>\\ <color grey></color>
 +  - **[[http://www.complexnetworks.fr/wp-content/uploads/2010/11/radar1.pdf|Un radar pour l'internet]]** \\ <color grey>Clémence Magnien - LIP6 (CNRS, UPMC) - Paris</color>\\ <color grey></color>
 +  - **[[http://www.complexnetworks.fr/wp-content/uploads/2010/11/modelisation1.pdf|Modélisation des graphes de terrain]]** \\ <color grey>Fabien Tarissan - LIP6 (CNRS, UPMC) - Paris</color>\\ <color grey></color>
 +  - **[[http://www.complexnetworks.fr/wp-content/uploads/2010/11/dynamique1.pdf|Dynamiques des graphes de terrain]]** \\ <color grey>Clémence Magnien - LIP6 (CNRS, UPMC) - Paris</color>\\ <color grey></color>
 +  - **[[http://www.complexnetworks.fr/wp-content/uploads/2013/01/stage-evenements.pdf|Détection d'événements et/ou d'anomalies dans les dynamiques de graphe]]** \\ <color grey>Matthieu Latapy - LIP6 (CNRS, UPMC) - Paris</color>\\ <color grey></color>
 +  - **[[http://www.complexnetworks.fr/wp-content/uploads/2013/01/cores_sujet.pdf|Cœurs de communautés]]** \\ <color grey>Jean-Loup Guillaume</color>\\ <color grey></color>
 +  - **[[http://www.pps.univ-paris-diderot.fr/~kesner/stages/sujet-2013.pdf|La solvabilité dans le cadre des langages avec motifs]]** \\ <color grey>Antonio Bucciarelli et Delia Kesner - PPS, Bâtiment Sophie Germain, 5 rue Thomas Mann. 75205 Paris CEDEX 13  </color>\\ <color grey></color>
 +  - **[[http://www.placeojeunes.com/poj_ecole_v4/affichage/detailoffreecole.asp?id=9573025|Protocoles de découvertes pour WAN]]** \\ <color grey>Julien Enoch - Orsay</color>\\ <color grey></color>
 +  - **[[http://www.liafa.univ-paris-diderot.fr/~habib/Stages/|Décomposition modulaire approchée]]** \\ <color grey>Michel Habib, LIAFA -université Paris Diderot</color>\\ <color grey></color>
 +  - **[[http://www-desir.lip6.fr/~angelopouloss/Mpri/Stage/M2stage.pdf|Online search problems under new performance measures]]** \\ <color grey>Spyros Angelopoulos-Paris 6</color>\\ <color grey>2.24.1</color>
 +  - **[[http://www.dim.uchile.cl/~alsilva/Internship.pdf|Competition in Dynamic Social Networks]]** \\ <color grey>Marc Lelarge and Alonso Silva - LINCS, Paris</color>\\ <color grey></color>
 +  - **[[http://www-soc.lip6.fr/offres-demplois/stages/alsoc/verification-compositionnelle-du-protocole-de-coherence-de-la-machine-multiprocesseur-tsar/|Verification par Model-checking de TSAR]]** \\ <color grey>LIP6 - Y. Thierry-Mieg & E. Encrenaz</color>\\ <color grey></color>
 +  - **[[http://recherche.ign.fr/labos/cogit/pdf/PROPOSITIONS/2013_stage_SDI_LinkedDataRefGeo.pdf|Intégration et visualisation de données liées sur un référentiel géographique]]** \\ <color grey>Nathalie Abadie, Fayçal Hamdi - Saint-Mandé (métro : station Saint Mandé, ligne 1)</color>\\ <color grey></color>
 +  - **[[http://www-polsys.lip6.fr/~jcf/Teaching/StageM2v2.htm|]]** \\ <color grey>JC Faugere et P Serre</color>\\ <color grey>2-13-1</color>
 +  - **[[http://www-polsys.lip6.fr/~jcf/Teaching/StageM2v2.htm|Modélisation de mécanismes et Algorithmes incrémentaux de Calcul des Bases de Gröbner]]** \\ <color grey>JC Faugere et P Serre</color>\\ <color grey>2-13-1</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