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

internships2012 [2012/11/08 18:10] (current)
Line 1: Line 1:
 +===== Internships 2011/2012 =====
 +
 +  - **[[http://www.lix.polytechnique.fr/typical/sites/typical/files/CoqDDMF.pdf|Towards the Formal Certification of a Mathematical Encyclopedia on the Web]]** \\ <color grey>Fréderic Chyzak, Assia Mahboubi - Laboratoire commun Inria Microsoft Research</color> \\ <color grey>2.7.1, 2.7.2, 2.22</color>
 +  - **[[http://sites.onera.fr/stages/sites/sites.onera.fr.stages/files/sujet.pdf|Méthodes catégoriques pour la modélisation et la vérification d'architectures]]** \\ <color grey>David Chemouil, Julien Brunel - Onera-DTIM Toulouse</color> \\ <color grey></color>
 +  - **[[http://www.lri.fr/~gouypaic/positions/2012_GRAPHES.pdf|Détection de ruptures dans les réseaux dynamiques]]** \\ <color grey>GOUY-PAILLER Cédric -- CEA-Saclay</color> \\ <color grey></color>
 +  - **[[http://www-roc.inria.fr/who/Gilles.Dowek/M2/Termination.pdf|Termination in lambda Pi-modulo]]** \\ <color grey>Olivier Hermant - ISEP / INRIA</color> \\ <color grey>2-7-1</color>
 +  - **[[http://www-roc.inria.fr/who/Gilles.Dowek/M2/Master2_HOLiDe.pdf|HOL in Dedukti]]** \\ <color grey>Gilles Dowek and Guillaume Burel Cedric / INRIA</color> \\ <color grey>2-7-1</color>
 +  - **[[http://www-roc.inria.fr/who/Gilles.Dowek/M2/stageM2Focalize.pdf|Focalize in lambda-Pi-modulo]]** \\ <color grey>Catherine Dubois and David Delahaye - Cedric / INRIA</color> \\ <color grey>2-7-1</color>
 +  - **[[http://www-roc.inria.fr/who/Gilles.Dowek/M2/dkjit.pdf|Just-in-time compilation for proof terms]]** \\ <color grey>Olivier Hermant and Mathieu Boespflug</color> \\ <color grey>2-7-1</color>
 +  - **[[|Classical proofs in Dedukti]]** \\ <color grey>Gilles Dowek and César Muñoz - INRIA / NASA</color> \\ <color grey>2-7-1</color>
 +  - **[[http://www.lix.polytechnique.fr/~bodirsky/teaching/set-constraints.html|Set Constraints: Algorithms and Complexity]]** \\ <color grey>Manuel Bodirsky -- Ecole Polytechnique</color>\\ <color grey>2-31-1 </color>
 +  - **[[http://moscova.inria.fr/~karthik/projects/mpri-2012-1.html|Verified Cryptographic Protocol Implementations]]** \\ <color grey>K Bhargavan and A Pironti, INRIA Paris</color>\\ <color grey>2.30, 2.4, 2.6, 2.12.2, 2.36.1</color>
 +  - **[[http://moscova.inria.fr/~karthik/projects/mpri-2012-2.html|Security Types for Web Applications]]** \\ <color grey>K Bhargavan and S Maffeis, INRIA Paris</color>\\ <color grey>2.30, 2.4, 2.6, 2.12.2, 2.36.1</color>
 +  - **[[http://moscova.inria.fr/~karthik/projects/mpri-2012-3.html|Building Secure Smartphone Applications]]** \\ <color grey>K Bhargavan and G Steel, INRIA Paris</color>\\ <color grey>2.30, 2.4, 2.6, 2.12.2, 2.36.1</color>
 +  - **[[http://www.loria.fr/~cortier/sujet-vote.pdf|Analyse et conception d'un système de vote]]** \\ <color grey>Véronique Cortier, Nancy</color>\\ <color grey>2.30</color>
 +  - **[[http://perso.crans.org/~genest/master2.pdf|Analysis of Stochastic Systems modeling Biological Pathways]]** \\ <color grey>Blaise Genest, IPAL-CNRS, Singapour</color>\\ <color grey>2.19 (not mandatory)</color>
 +  - **[[http://morganmagnin.net/documents/sujet-m2-bioinfo-circa-11.pdf|Modelling of time delays in multi-scale biological regulatory networks]]** \\ <color grey>Olivier Roux and Morgan Magnin - IRCCyN Nantes</color>\\ <color grey></color>
 +  - **[[http://www.irccyn.ec-nantes.fr/~magnin/sujets/master/2011-2012/sujet-m2-bioinfo-oursin-11.pdf|Study of the complementarity between various formal models for the analysis of the cell translation cycle in the sea urchin]]** \\ <color grey>Olivier Roux and Morgan Magnin - IRCCyN Nantes</color>\\ <color grey></color>
 +  - **[[ftp://ftp-sop.inria.fr/geometrica/dcohen/Stage/clustering.pdf|Clustering avec a priori geometriques]]** \\ <color grey>David Cohen-Steiner</color>\\ <color grey>2.14.1</color>
 +  - **[[http://abiteboul.com/Serge/11stagemaster2.pdf|Collaboration towards solving Web data management tasks]]** \\ <color grey>Serge Abiteboul; ENS Cachan</color>\\ <color grey></color>
 +  - **[[http://www.loria.fr/~cortier/sujet-decidabilite.pdf|Procédure de décision pour la sécurité des protocoles cryptographiques]]** \\ <color grey>Véronique Cortier, Nancy</color>\\ <color grey>2.30</color>
 +  - **[[http://www-pequan.lip6.fr/~jezequel/stage_LIP6_LOCEAN.pdf|Validation numérique de logiciels pour l'assimilation de données]]** \\ <color grey>Fabienne JEZEQUEL, LIP6, Paris</color>\\ <color grey></color>
 +  - **[[http://sites.onera.fr/stages/sites/sites.onera.fr.stages/files/stage-domaine-inge-exigence_0.pdf| Modélisation et analyse formelle du domaine en ingénierie des exigences]]** \\ <color grey>Julien Brunel - David Chemouil</color>\\ <color grey></color>
 +  - **[[http://www.morpho.com/carriere-10/nos-offres-d-emploi-et-de-stages-144/|Operations on encrypted data]]** \\ <color grey>Julien Bringer - Morpho - Issy Les Moulineaux -- cf. ref. PC/241011/1</color>\\ <color grey></color>
 +  - **[[http://www.morpho.com/carriere-10/nos-offres-d-emploi-et-de-stages-144/|Cryptographie, résistance aux fuites et applications]]** \\ <color grey>Julien Bringer - Morpho - Issy Les Moulineaux -- cf. ref. PC/241011/2</color>\\ <color grey></color>
 +  - **[[http://www-lipn.univ-paris13.fr/specif/stages/specification-and-verification-of-uml-state-machines.pdf|Semantics of UML State Machines]]** \\ <color grey>Étienne André, Christine Choppy et Kaïs Klai − LIPN, Paris 13</color>\\ <color grey></color>
 +  - **[[http://www-lipn.univ-paris13.fr/specif/stages/specification-and-verification-of-uml-state-machines.pdf|Modeling UML State Machines]]** \\ <color grey>Étienne André, Christine Choppy et Kaïs Klai − LIPN, Paris 13</color>\\ <color grey></color>
 +  - **[[http://www-lipn.univ-paris13.fr/specif/stages/specification-and-verification-of-uml-state-machines.pdf|From UML State Machines to Petri Nets]]** \\ <color grey>Étienne André, Christine Choppy et Kaïs Klai − LIPN, Paris 13</color>\\ <color grey></color>
 +  - **[[http://www-lipn.univ-paris13.fr/~lavault/PhD&StagesMaster/SujetStageMaster2012.pdf|Fonction zêta d'un graphe fini non orienté - Etude et applications aux graphes de Ramanujan]]** \\ <color grey>Christian Lavault - LIPN, université Paris 13</color>\\ <color grey>2.10, 2.15, 2.29.1</color>
 +  - **[[http://www.liafa.jussieu.fr/~klimann/Stages/gag2011_2012.html|Les groupes d’automates]]** \\ <color grey>I. Klimann, J. Mairesse et M. Picantin</color>\\ <color grey>2.16</color>
 +  - **[[http://www.docmatic.fr/IMG/pdf/sujets_de_stage_-_DSP.pdf|Implantation optimale et automatisée de filtres linéaires sur processeurs DSP en virgule fixe]]** \\ <color grey>T. HILAIRE - LIP6 (Paris 6)</color>\\ <color grey></color>
 +  - **[[http://www.docmatic.fr/IMG/pdf/sujets_de_stage_-_prog_conique.pdf|Programmation conique pour l’implantation d’algorithmes de traitement du signal en virgule fixe]]** \\ <color grey>H. Ouzia - LIP6 (Paris 6)</color>\\ <color grey></color>
 +  - **[[http://www-desir.lip6.fr/~durrc/Iut/stageMPRI.html|Stochatic analysis of online algorithms]]** \\ <color grey>Spyros Angelopoulos and Christoph Dürr, LIP6, Univ. Pierre et Marie Curie</color>\\ <color grey>2-24-1</color>
 +  - **[[http://www.lix.polytechnique.fr/~mvazirg/stages_2011_2_mv_directed_graph_clustering.pdf|Directed graph clustering]]** \\ <color grey>Michalis Vazirgiannis - LIX/Ecole Polytechnique</color>\\ <color grey></color>
 +  - **[[http://www.ocamlpro.com/internships/stage_llvm_ocaml.txt|LLVM backend for OCaml]]** \\ <color grey>Fabrice Le Fessant -- INRIA Saclay</color>\\ <color grey></color>
 +  - **[[http://www.di.ens.fr/ParkasOpenings.html|Sémantique et programmation à flot de données synchrone pour accélérateurs matériels]]** \\ <color grey>Albert Cohen - ENS Ulm</color>\\ <color grey>2.4, 2.23.1, 2.37.1</color>
 +  - **[[http://www.lix.polytechnique.fr/~amturing/stages.html|Algorithmique des graphes plongés sur des surfaces]]** \\ <color grey>Luca Castelli Aleardi et  Eric Fusy - LIX, Ecole Polytechnique</color>\\ <color grey>2.10, 2.14.1</color>
 +  - **[[http://www.lix.polytechnique.fr/~amturing/stages.html|Structures de données compactes pour les maillages]]** \\ <color grey>Luca Castelli Aleardi et Gilles Schaeffer - LIX, Ecole Polytechnique</color>\\ <color grey>2.10, 2.14.1</color>
 +  - **[[http://sebastien.bardin.free.fr/sujet-M2-analyse-binaire.pdf|Analyse statique au niveau binaire pour la sécurité]]** \\ <color grey>Sébastien Bardin, Eric Goubault. Stage au CEA Saclay (région parisienne)</color>\\ <color grey>2.6</color>
 +  - **[[http://sebastien.bardin.free.fr/sujet-M2-cfg-recovery-malware.pdf|Analyse de code exécutable et détection de codes malveillants]]** \\ <color grey>Sébastien Bardin, Jean-Yves Marion. CEA Saclay (région parisienne)</color>\\ <color grey></color>
 +  - **[[http://membres-liglab.imag.fr/echahed/Master2RInternship.htm|Reasoning on Graph Transformation]]** \\ <color grey>Rachid Echahed, laboratoire LIG, Grenoble</color>\\ <color grey></color>
 +  - **[[http://www-lipn.univ-paris13.fr/specif/stages/verification-parametree-de-systemes-temps-reel-par-reseaux-de-petri-temporels.pdf|Vérification paramétrée de systèmes temps réel par des réseaux de Petri temporels]]** \\ <color grey>Étienne André  − LIPN, Paris 13</color>\\ <color grey>2.8, 2.9</color>
 +  - **[[http://moscova.inria.fr/~zappa/teaching/stages/stages_mpri_2011.pdf|Safe optimisations for high-level concurrent programming languages]]** \\ <color grey>Francesco Zappa Nardelli, INRIA Paris-Rocquencourt</color>\\ <color grey>2.3, 2.37.1</color>
 +  - **[[http://pageperso.lif.univ-mrs.fr/~frederic.bechet/proposal_QARMA_TALEP_LIF2012.pdf|Reducing Annotation Cost with a Lazy Oracle for Spoken Message Classification]]** \\ <color grey>Liva Ralaivola, LIF-CNRS, Marseille</color>\\ <color grey></color>
 +  - **[[http://www-lipn.univ-paris13.fr/specif/stages/model-checking-distribue-algorithmes-multi-coeurs-efficaces.pdf|Model-checking distribué : algorithmes multi-cœurs efficaces]]** \\ <color grey>Sami Evangelista et Laure Petrucci</color>\\ <color grey></color>
 +  - **[[http://www-lipn.univ-paris13.fr/specif/stages/model-checking-distribue-de-reseaux-de-petri-temporels-et-a-priorites.pdf|Model-checking distribué de réseaux de Petri temporels et à priorités]]** \\ <color grey>Laure Petrucci et Étienne André</color>\\ <color grey>2.8, 2.18.1 (not required)</color>
 +  - **[[http://www.pps.jussieu.fr/~varacca/StageREVER.pdf|Compositional semantics of the reversible pi-calculus]]** \\ <color grey>Jean Krivine, Daniele Varacca - PPS, Université Paris Diderot</color>\\ <color grey>Concurrence, Modèles de langages</color>
 +  - **[[http://dbweb.enst.fr/internships/webdam_msc_internship.pdf|What make probabilistic data efficiently queriable?]]** \\ <color grey>Pierre Senellart – Télécom ParisTech</color>\\ <color grey>2.26.2</color>
 +  - **[[http://lsiit.u-strasbg.fr/igg_fr/index.php/David_Cazier|Détection de collisions en objets déformables. Application à la simulation de foules dans des environnements complexes.]]** \\ <color grey>David Cazier - LSIIT - Université de Strasbourg</color>\\ <color grey></color>
 +  - **[[http://www.ai.univ-paris8.fr/~elmrabet/PropositionStageCouplageFonctionTheta.pdf|Pairings based over Theta function]]** \\ <color grey>EL MRABET Nadia, LIASD, Université Paris 8</color>\\ <color grey></color>
 +  - **[[|Formalisation de la stratégie de génération de structure des tâches d’une application temps réel embarquée: une approche basée sur le modèle d’agents OASIS]]** \\ <color grey>Belgacem BEN HEDIA</color>\\ <color grey></color>
 +  - **[[http://www.ai.univ-paris8.fr/~elmrabet/PropositionStageArithmetiqueAMNS.pdf|Etude de l’implémentation matérielle d’une représentation d’un corps fini]]** \\ <color grey>EL MRABET Nadia, LIASD, Université Paris 8</color>\\ <color grey></color>
 +  - **[[https://pace.rd.francetelecom.com/public/post-doc/Stage_CoffreFort_Crypto_Campagne_2012.pdf/view|Implémentation d’un système de stockage de données personnelles en aveugle à base de (proxy re-)chiffrement]]** \\ <color grey>Sébastien Canard (sebastien.canard@orange.com) - Orange Labs Caen</color>\\ <color grey>2.12.1, 2.12.2, 2.30</color>
 +  - **[[https://pace.rd.francetelecom.com/public/post-doc/Stage_Delegation_Crypto_Campagne_2012.pdf/view|Transformation d’un système cryptographique en mode assisté par un serveur]]** \\ <color grey>Sébastien Canard (sebastien.canard@orange.com) - Orange Labs Caen</color>\\ <color grey>2.12.1, 2.12.2, 2.30</color>
 +  - **[[http://contraintes.inria.fr/STAGES/#HybridAutomata|Representation of hybrid systems by ordinary differential equations plus events]]** \\ <color grey>François Fages</color>\\ <color grey>C2-19 and others</color>
 +  - **[[http://contraintes.inria.fr/STAGES/#ModelReductions|Model reductions: from graph theory to dynamics, ]]** \\ <color grey>François Fages</color>\\ <color grey>C2-19 and others</color>
 +  - **[[http://contraintes.inria.fr/STAGES/#TemporalLogic|Theory of temporal logic constraint solving, ]]** \\ <color grey>François Fages</color>\\ <color grey>C2-19 and others</color>
 +  - **[[http://contraintes.inria.fr/STAGES/#PatternsTemporalLogic|Patterns of quantitative temporal logic formulae for systems biology, ]]** \\ <color grey>François Fages</color>\\ <color grey>C2-19</color>
 +  - **[[http://www.loria.fr/~levy/symbolic_perturb.pdf|robust predicates for mesh generation through symbolic perturbation]]** \\ <color grey>Bruno Lévy and Sylvain Lazard - INRIA Nancy Grand Est / LORIA</color>\\ <color grey></color>
 +  - **[[http://iihm.imag.fr/job/1/|Vérification de systèmes interactifs]]** \\ <color grey>Gaëlle Calvary, Sophie Dupuy-Chessa, Fédéric Lang - Grenoble</color>\\ <color grey></color>
 +  - **[[Auto-explication de systèmes interactifs|Auto-explication de systèmes interactifs]]** \\ <color grey>Gaëlle Calvary, Sophie Dupuy-Chessa, Fédéric Lang - Grenoble</color>\\ <color grey></color>
 +  - **[[http://iihm.imag.fr/job/2/|Auto-explication de systèmes interactifs]]** \\ <color grey>Gaëlle Calvary, Sophie Dupuy-Chessa, Fédéric Lang - Grenoble</color>\\ <color grey></color>
 +  - **[[http://membres-liglab.imag.fr/pernet/Enseignements/PowerDecodingStage2012_english.pdf|Fast rational function reconstruction applied to power-decoding ]]** \\ <color grey>Clément Pernet and Jean-Louis Roch, INRIA-MOAIS, LIG Grenoble</color>\\ <color grey>2.13.2 Codes correcteurs d'erreurs et applications à la cryptographie</color>
 +  - **[[http://www-lipn.univ-paris13.fr/~tanasa/stages/proposition-stage-M2.pdf|Three-dimensional combinatorial maps]]** \\ <color grey>Adrian Tanasa - LIPN, Univ. Paris XIII</color>\\ <color grey></color>
 +  - **[[http://www.lsv.ens-cachan.fr/~delaune/sujet-composition.pdf|Verification of security protocols: composition issues]]** \\ <color grey>Véronique Cortier et Stéphanie Delaune, LSV - ENS Cachan ou LORIA - Nancy</color>\\ <color grey>2.30</color>
 +  - **[[http://www.lsv.ens-cachan.fr/~delaune/sujet-routage.pdf|Analyse formelle de propriétés d'anonymat dans les protocoles de routage]]** \\ <color grey>Stéphanie Delaune</color>\\ <color grey>2.30</color>
 +  - **[[http://www.lix.polytechnique.fr/Labo/Dale.Miller/stage/proofcert-t1.html|Proof certificates for some basic proof systems in classical logic]]** \\ <color grey>Dale Miller - LIX, Ecole Polytechnique</color>\\ <color grey>2.1,2.7.1</color>
 +  - **[[http://www.lix.polytechnique.fr/Labo/Dale.Miller/stage/double-negation.html|Relating double-negation translations and focused proof systems]]** \\ <color grey>Dale Miller - LIX, Ecole Polytechnique</color>\\ <color grey>2.1,2.4</color>
 +  - **[[http://www.lri.fr/~marche/M2-lieurs-en-Why.pdf|Preuve de programmes avec lieurs]]** \\ <color grey>Claude Marché, Andrei Paskevich, LRI & INRIA Saclay, Orsay</color>\\ <color grey>2.36.1, 2.5, 2.7, 2.4</color>
 +  - **[[http://www.lri.fr/~marche/M2-TIP-Airbus.pdf|Terminaison interactive de preuve de programme avionique]]** \\ <color grey>Jean Souyris, Airbus, Toulouse et Claude Marché (INRIA Saclay)</color>\\ <color grey>2.36.1, 2.7, 2.5</color>
 +  - **[[|Obtention d'informations 3D en environnement difficile pour la détection de piétons]]** \\ <color grey>CEA Saclay</color>\\ <color grey></color>
 +  - **[[http://www.liafa.jussieu.fr/~santha/learning_graph.pdf|New quantum query algorithms in the learning graph framework]]** \\ <color grey>Miklos Santha, CNRS, LIAFA</color>\\ <color grey>2.11.2, 2.34.1</color>
 +  - **[[http://contraintes.inria.fr/STAGES/#BiochamInEmop|Refactoring of the BIOCHAM software using modular Constraint Logic Programming]]** \\ <color grey>François Fages and Sylvain Soliman - INRIA Paris-Rocquencourt</color>\\ <color grey>2.19, 2.35.1</color>
 +  - **[[http://contraintes.inria.fr/STAGES/#AutoGUI|Automatic generation of Graphical User Interface using modular Constraint Logic Programming and end-user documentation]]** \\ <color grey>François Fages and Sylvain Soliman - INRIA Paris-Rocquencourt</color>\\ <color grey>2.35.1, 2.19</color>
 +  - **[[http://contraintes.inria.fr/STAGES/#EfficientSiLCC|Efficient compilation for an angelic programming language]]** \\ <color grey>François Fages and Sylvain Soliman - INRIA Paris-Rocquencourt</color>\\ <color grey>2.35.1</color>
 +  - **[[http://pricingpartners.com/stages/Stage%20PP%202012%20Web.pdf|recherche et développement]]** \\ <color grey>M Klouvi-Paris</color>\\ <color grey></color>
 +  - **[[|R&D]]** \\ <color grey>M Klouvi-Paris</color>\\ <color grey>http://pricingpartners.com/stages/Stage%20PP%202012%20Grid.pdf</color>
 +  - **[[http://pricingpartners.com/stages/Stage%20Belatos%202012%20Integration.pdf|R&D]]** \\ <color grey>M Klouvi</color>\\ <color grey></color>
 +  - **[[http://zanutti.perso.info.unicaen.fr/data/proposals/stageM2R.pdf|Apprentissage par renforcement avec récompenses ordinales]]** \\ <color grey>Bruno Zanuttini, laboratoire GREYC, Université de Caen Basse-Normandie</color>\\ <color grey></color>
 +  - **[[http://lacl.univ-paris12.fr/dima/stages/covert-channels-2011.pdf|Modélisation et calcul de la capacité des canaux cachés]]** \\ <color grey>Catalin Dima, LACL, Créteil</color>\\ <color grey>2.9,2.16,2.20.2</color>
 +  - **[[www.lirmm.fr/~rivals/M2R/SUJETS/Indexing-internship-Rivals.pdf|Compressed text indexing data structures for genomic sequences]]** \\ <color grey>Eric RIVALS - LIRMM Montpellier</color>\\ <color grey></color>
 +  - **[[http://www.cea.fr/ressources_humaines/stages_et_formation_en_alternance/stages_longue_duree/liste_des_stages/obtention_d_informations_3d_en_environnement_dif/%28area%29/Region_Parisienne|Obtention d'informations 3D en environnement difficile pour la détection de piétons]]** \\ <color grey>CEA Saclay</color>\\ <color grey></color>
 +  - **[[http://www.cea.fr/ressources_humaines/stages_et_formation_en_alternance/stages_longue_duree/liste_des_stages/plateforme_d_evaluation_de_performances_d_algori/%28area%29/Region_Parisienne| Plateforme d'évaluation de performances d'algorithmes d'analyse vidéo]]** \\ <color grey>CEA Saclay</color>\\ <color grey></color>
 +  - **[[|Implantation d'un système de suivi de personnes dans un réseau de vidéo-surveillance]]** \\ <color grey>CEA Saclay</color>\\ <color grey>http://www.cea.fr/ressources_humaines/stages_et_formation_en_alternance/stages_longue_duree/liste_des_stages/implantation_d_un_systeme_de_suivi_de_personnes/%28area%29/Region_Parisienne</color>
 +  - **[[http://www.cea.fr/ressources_humaines/stages_et_formation_en_alternance/stages_longue_duree/liste_des_stages/plateforme_d_evaluation_de_performances_d_algori2/%28area%29/Region_Parisienne| Plateforme d'évaluation de performances d'algorithmes d'analyse vidéo]]** \\ <color grey>CEA Saclay</color>\\ <color grey></color>
 +  - **[[http://www.cea.fr/ressources_humaines/stages_et_formation_en_alternance/stages_longue_duree/liste_des_stages/amelioration_de_la_robustesse_des_algorithmes_d/%28area%29/Region_Parisienne| Amélioration de la robustesse des algorithmes d'analyse vidéo pour les applications ferroviaires]]** \\ <color grey>CEA Saclay</color>\\ <color grey></color>
 +  - **[[http://www.cea.fr/ressources_humaines/stages_et_formation_en_alternance/stages_longue_duree/liste_des_stages/analyse_video_du_trafic_routier/%28area%29/Region_Parisienne| Analyse vidéo du trafic routier]]** \\ <color grey>CEA Saclay</color>\\ <color grey></color>
 +  - **[[http://www.cea.fr/ressources_humaines/stages_et_formation_en_alternance/stages_longue_duree/liste_des_stages/generation_d_images_de_synthese_realistes_pour_l/%28area%29/Region_Parisienne| Génération d'images de synthèse réalistes pour l'apprentissage d'objets]]** \\ <color grey>CEA Saclay</color>\\ <color grey></color>
 +  - **[[http://www.lsv.ens-cachan.fr/~bouyer/files/sujet-nash.pdf|Nash equilibria in multiplayer infinite-state games]]** \\ <color grey>P. Bouyer-Decitre, R. Brenguier, N. Markey - LSV (Cachan)</color>\\ <color grey>2.8, 2.20.1</color>
 +  - **[[http://www.liafa.jussieu.fr/~jkeren/Stages2.pdf|1. Probabilistic Algorithms with unique answers / 2. Quantum Oblivious Transfer]]** \\ <color grey>Iordanis Kerenidis (LIAFA, Univ Paris 7)</color>\\ <color grey>2.11.2, 2.34.1, 2.11.1</color>
 +  - **[[http://www.ibisc.fr/~ssene/files/stages/Stage2012_Dycoreaubo_1.pdf|Impact de la non-monotonie dans les réseaux booléens]]** \\ <color grey>Sylvain Sené et Damien Regnault - Laboratoire Ibisc (Évry)</color>\\ <color grey>Systèmes dynamiques, réseaux d'automates, complexité, modélisation</color>
 +  - **[[http://www.ibisc.fr/~ssene/files/stages/Stage2012_Dycoreaubo_2.pdf|Vers une classification des réseaux de régulation]]** \\ <color grey>Sylvain Sené et Tarek Melliti - Laboratoire Ibisc (Évry)</color>\\ <color grey>Systèmes dynamiques, réseaux d'automates, complexité, modélisation</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.36.1, 2.22</color>
 +  - **[[http://lacl.univ-paris12.fr/gava/stages/proofparverif.pdf|Preuve formelle d'algorithmes parallèles pour la génération de l'espace d'état et la vérification de protocoles de sécurité]]** \\ <color grey>Frédéric Gava  or Franck Pommereau</color>\\ <color grey></color>
 +  - **[[http://lacl.univ-paris12.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  or Franck Pommereau</color>\\ <color grey></color>
 +  - **[[http://lacl.univ-paris12.fr/gava/stages/skelincoq.pdf|Certification en Coq d'une implantation distribuée de squelettes de flots]]** \\ <color grey>Frédéric Gava or Joel Falcou</color>\\ <color grey></color>
 +  - **[[http://lacl.univ-paris12.fr/gava/stages/MatPar.pdf|Opérations Matricielles Parallèles en BSML et ses Applications]]** \\ <color grey>Frédéric and Sovanna Tan and Gaétan Hains</color>\\ <color grey></color>
 +  - **[[http://lacl.univ-paris12.fr/gava/stages/GraphPar.pdf|Une bibliothèque parallèle sur les graphes~; implantation générique et expérimentations]]** \\ <color grey>Frédéric and Sovanna Tan and Gaétan Hains</color>\\ <color grey></color>
 +  - **[[http://lacl.univ-paris12.fr/gava/stages/optincoq.pdf|Optimisations certifiées de programmes BSP]]** \\ <color grey>Frédéric Gava and Jean Fortin</color>\\ <color grey></color>
 +  - **[[http://www.loria.fr/~skremer/equiv-prop.pdf|Verifi cation of equivalence properties in security protocols]]** \\ <color grey>Stéphanie Delaune et Steve Kremer, , LSV - ENS Cachan ou LORIA - Nancy</color>\\ <color grey>2.30</color>
 +  - **[[http://moncel.iut-rodez.fr/sujets/decompositions.pdf|Décompositions de graphes et applications en ordonnancement]]** \\ <color grey>Christian Artigues et Julien Moncel - LAAS-CNRS Toulouse</color>\\ <color grey>2.29.1 Algorithmique des Graphes</color>
 +  - **[[http://www.pps.jussieu.fr/~smimram/stages.html|Méthodes toplogiques certifiées pour l'étude des systèmes dynamiques chaotiques]]** \\ <color grey>Samuel Mimram - CEA</color>\\ <color grey>1-15,1-16,1-20,1-22</color>
 +  - **[[http://www.pps.jussieu.fr/~smimram/stages.html|Homologie persistante des programmes concurrents]]** \\ <color grey>Samuel Mimram - CEA</color>\\ <color grey>1-15,1-16,1-20,1-22</color>
 +  - **[[http://www.pps.jussieu.fr/~smimram/stages.html|Modèles non-standard constructifs pour les systèmes hybrides]]** \\ <color grey>Samuel Mimram - CEA</color>\\ <color grey>1-15,1-16,1-20,1-22</color>
 +  - **[[http://www.lsv.ens-cachan.fr/~bouyer/files/sujets/sujet-proba.pdf|Stochastic timed automata]]** \\ <color grey>Patricia Bouyer-Decitre et Serge Haddad</color>\\ <color grey>2.8</color>
 +  - **[[http://www.loria.fr/~skremer/bounded-mc-sec-prot.pdf|Bounded model-checking for security protocols]]** \\ <color grey>Rohit Chadha and Steve Kremer, LSV - ENS Cachan or LORIA - Nancy</color>\\ <color grey>2-30</color>
 +  - **[[http://www.liafa.jussieu.fr/~dxiao/docs/privacy-stage.pdf|Privacy: incentives and protocols]]** \\ <color grey>David XIAO (LIAFA, Paris 7)</color>\\ <color grey></color>
 +  - **[[http://www.liafa.jussieu.fr/~dxiao/docs/compression-stage.pdf|Compressing interactive communication]]** \\ <color grey>David XIAO (LIAFA, Paris 7)</color>\\ <color grey>2.11.2</color>
 +  - **[[http://www.ibisc.univ-evry.fr/~fpommereau/dl/stage-m2r-2012-1.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-2012-2.pdf|Méthode de tableaux pour le model-checking de la logique ATL]]** \\ <color grey>Franck Pommereau</color>\\ <color grey></color>
 +  - **[[http://www.lsv.ens-cachan.fr/Stages/Fichier/m2-12-ssphs|Post Embedding Problems, Dickson's Lemma, and  Master   Problems for Monotonic Counter Systems]]** \\ <color grey>Sylvain Schmitz & Philippe Schnoebelen - LSV, Cachan & Oxford University</color>\\ <color grey>2-9</color>
 +  - **[[www.enst.fr/~hebrail/mpri/sujet_ric.pdf|Recherche d’information dans un ensemble de courbes de consommation électrique]]** \\ <color grey>G.Hébrail, EDF R&D, Clamart</color>\\ <color grey></color>
 +  - **[[http://www.enst.fr/~hebrail/mpri/sujet_ric.pdf|Recherche d’information dans un ensemble de courbes de consommation électrique (avec lien correct)]]** \\ <color grey>G.Hébrail - EDF R&D, Clamart</color>\\ <color grey></color>
 +  - **[[http://www.loria.fr/~galmiche/=stages/sujet1-M2R-2011.pdf|Décidabilité et Complexité en Logique de Séparation]]** \\ <color grey>D. Galmiche - D. Méry - LORIA Nancy</color>\\ <color grey></color>
 +  - **[[http://www.loria.fr/~galmiche/=stages/sujet2-M2R-2011.pdf|Baguette magique et septraction dans la logique BI]]** \\ <color grey>D. Galmiche - D. Larchey-Wendling - LORIA Nancy</color>\\ <color grey></color>
 +  - **[[http://www.loria.fr/~galmiche/=stages/sujet3-M2R-2011.pdf|Sémantique des Phases Relationnelle et Elimination des coupures]]** \\ <color grey>D. Galmiche - D. Larchey-Wendling - LORIA Nancy</color>\\ <color grey></color>
 +  - **[[http://www.ssi.gouv.fr/fr/anssi/stages/|Stages de recherche et développement à l'ANSSI]]** \\ <color grey>Experts de l'ANSSI</color>\\ <color grey></color>
 +  - **[[http://www.lsv.ens-cachan.fr/Stages/Fichier/m2-12-ss|PDL Model-Checking on Trees]]** \\ <color grey>Sylvain Schmitz - LSV, Cachan</color>\\ <color grey></color>
 +  - **[[http://www.loria.fr/~skremer/prob-ap-pi.pdf|Framework for reasoning about cryptographic protocols with randomization]]** \\ <color grey>Rohit Chadha and Steve Kremer, LSV - ENS Cachan or LORIA - Nancy</color>\\ <color grey>2-30, 2-3</color>
 +  - **[[http://www.di.ens.fr/~feret/internship_or_2012.txt|Réduction de modèles dynamiques en biologie computationnelle]]** \\ <color grey>Ovidiu Radulescu, DIMP UMR 5235, CNRS/Université de Montpellier 1&2</color>\\ <color grey>2.19</color>
 +  - **[[http://www.complexnetworks.fr/wp-content/uploads/2010/11/radar.pdf|Un radar pour l'internet]]** \\ <color grey>Matthieu Latapy - Paris</color>\\ <color grey>graphes, réseaux, algorithmique</color>
 +  - **[[http://www.complexnetworks.fr/wp-content/uploads/2010/11/diffusion.pdf|Phénomènes de diffusion dans les réseaux]]** \\ <color grey>Matthieu Latapy - Paris</color>\\ <color grey>Graphes, réseaux, algorithmique</color>
 +  - **[[http://www.complexnetworks.fr/wp-content/uploads/2010/11/dynamique.pdf|Dynamiques de graphes]]** \\ <color grey>Clémence Magnien - Paris</color>\\ <color grey>Graphes, réseaux, algorithmique</color>
 +  - **[[http://www.complexnetworks.fr/wp-content/uploads/2010/11/communautes.pdf|Structure multi-échelle des grands graphes]]** \\ <color grey>Jean-Loup Guillaume - Paris</color>\\ <color grey>Graphes, réseaux, algorithmique</color>
 +  - **[[http://tabareau.fr/stage_mpri.php|Automatic Program Equivalences in Coq]]** \\ <color grey>nicolas tabreau, INRIA, EMNantes</color>\\ <color grey>2.7</color>
 +  - **[[www.cs.cmu.edu/~dsheehy/docs/nested_dissection.pdf|Nested Dissection, Geometric Separators, and Homology Computation]]** \\ <color grey>Don Sheehy - Inria Saclay</color>\\ <color grey></color>
 +  - **[[http://www.lipn.univ-paris13.fr/~guerrini/stages/cbv-cbn.pdf|Call-by-value and call-by-name calculi: syntax, semantics, and logics]]** \\ <color grey>Stefano Guerrini et Giulio Manzonetto - Equipe LCR, LIPN, Institut Galilée, Paris 13 </color>\\ <color grey>2.1. Logique linéaire et paradigmes logiques du calcul. 2.2. Modèles des langages de programmation: domaines, catégories, jeux</color>
 +  - **[[http://lama.univ-savoie.fr/~hirschowitz/stages/hirscho.html|Vers une théorie des langages de programmation]]** \\ <color grey>Tom Hirschowitz - Chambéry</color>\\ <color grey>2-1, 2-2, 2-3,2-4-2,</color>
 +  - **[[http://www-lipn.univ-paris13.fr/~pagani/stages/stages_eng.pdf|Hyper/Multi-Coherence Spaces and the Taylor Expansion of Lambda-Terms]]** \\ <color grey>Pierre Boudes and Michele Pagani  - Equipe LCR, LIPN, Institut Galilée, Paris 13 </color>\\ <color grey>2.1. Logique linéaire et paradigmes logiques du calcul. 2.2. Modèles des langages de programmation: domaines, catégories, jeux</color>
 +  - **[[http://www.lsv.ens-cachan.fr/~jacquema/inversem.pdf|Static Analysis of Performance Parameters for Music Scores]]** \\ <color grey>Florent Jacquemard - IRCAM</color>\\ <color grey></color>
 +  - **[[http://www.di.ens.fr/~pouzet/stages/sujetvalidation.pdf|Validation formelle de traductions entre équations data-flow synchrones: application à un compilateur Lustre]]** \\ <color grey>Marc Pouzet - ENS Paris</color>\\ <color grey>2.23.1; 2.4; 2.3; 2.7</color>
 +  - **[[http://www.di.ens.fr/~pouzet/stages/sujethybride.pdf|Typage et compilation d'un langage pour les systèmes hybrides]]** \\ <color grey>Marc Pouzet - ENS Paris</color>\\ <color grey>2.23.1; 2.4; 2.3; 2.7</color>
 +  - **[[http://www.lsv.ens-cachan.fr/~bouyer/files/sujets/spe.pdf|Equilibria in concurrent games]]** \\ <color grey>P. Bouyer-Decitre, R. Brenguier, N. Markey - LSV (Cachan)</color>\\ <color grey>2.8, 2.20.1</color>
 +  - **[[http://www.lsv.ens-cachan.fr/~bouyer/files/sujets/sym.pdf|Nash equilibria in network of systems]]** \\ <color grey>P. Bouyer-Decitre, R. Brenguier, N. Markey - LSV (Cachan)</color>\\ <color grey>2.20.1</color>
 +  - **[[http://www.liafa.jussieu.fr/~zielonka/Enseignement/MPRI/2011/STAGE/Stage.pdf|Reachability and safety games with eventual perfect monitoring]]** \\ <color grey>Wieslaw Zielonka - LIAFA, Université Paris Diderot   Paris 7</color>\\ <color grey>Techniques de théorie des jeux en informatique</color>
 +  - **[[http://perso.ens-lyon.fr/stephan.thomasse/stageM2.html|Conjecture d'Alon-Saks-Seymour et Complexité de communication]]** \\ <color grey>Stéphan Thomassé ENS Lyon - LIP</color>\\ <color grey></color>
 +  - **[[http://contraintes.inria.fr/~batt/gene_stochasticity.pdf|Modeling stochasticity in gene expression:  From population models to model populations]]** \\ <color grey>Gregory Batt, INRIA Paris-Rocquencourt</color>\\ <color grey>C2-19 (not mandatory), stochastic processes, parameter estimation methods</color>
 +  - **[[http://www-apr.lip6.fr/~genitrini/|Etude quantitative des arbres de synchronisation]]** \\ <color grey>A. Genitrini; F. Peschanski; UPMC-LIP6</color>\\ <color grey>2.15 : Analyse d'algorithmes</color>
 +  - **[[http://www.lsv.ens-cachan.fr/~jacquema/scofosynchrone.pdf|Synchronous Programming for Realtime Performance]]** \\ <color grey>Marc Pouzet (LIENS) and Florent Jacquemard (IRCAM)</color>\\ <color grey>2.23.1</color>
 +  - **[[http://pagesperso-systeme.lip6.fr/Beatrice.Berard/|Automates temporisés à interruptions, problèmes de vérification et d’expressivité]]** \\ <color grey>Béatrice Bérard, Serge Haddad, LIP6</color>\\ <color grey>2.8</color>
 +  - **[[http://gallium.inria.fr/~xleroy/stage-2012-1.html|Towards a verified abstract interpreter for CompCert C]]** \\ <color grey>Xavier Leroy, INRIA Rocquencourt</color>\\ <color grey>2-7-2, 2-6, 2-4</color>
 +  - **[[|Stage dans l'equipe de combinatoire du LIAFA]]** \\ <color grey>Jeremie Bouttier, Guillaume Chapuy, Sylvie Corteel, Enrica Duchi, Jeremy Lovejoy, Roberto Mantaci, Anne Micheli, Vlady Ravelomana</color>\\ <color grey>C2-10, C2-15</color>
 +  - **[[http://perso.uclouvain.be/christophe.petit/rubik.html|Factorisations courtes dans les groupes de matrices]]** \\ <color grey>Christophe Petit and Olivier Pereira - UCL, louvain-la-Neuve</color>\\ <color grey>1.1,1.13,2.12</color>
 +  - **[[http://perso.crans.org/~genest/master2.pdf|Analysis of Stochastic Systems modeling Biological Pathways ]]** \\ <color grey>Blaise Genest - IPAL-CNRS, Singapour</color>\\ <color grey>2.19</color>
 +  - **[[http://www.labri.fr/perso/janin/SujetMasterJaninMusicTiles.pdf|Modélisation musicale par tuilages]]** \\ <color grey>David Janin - LaBRI, Université de Bordeaux I</color>\\ <color grey></color>
 +  - **[[http://www.labri.fr/perso/janin/SujetMasterJaninPavagesTemp.pdf|Langages de pavages temporisés 1D]]** \\ <color grey>David Janin - LaBRI, Université de Bordeaux I</color>\\ <color grey></color>
 +  - **[[http://www.labri.fr/perso/janin/SujetMasterJaninTwoWayInv.pdf|Tree-walking automata et Monoide inversif libre]]** \\ <color grey>David Janin - LaBRI, Université de Bordeaux I</color>\\ <color grey></color>
 +  - **[[http://imagine.enpc.fr/positions/IMAGINE-internships-2012.pdf|Automatic management of bisection heuristics for global optimization]]** \\ <color grey>Bertrand Neveu - Ecole des Ponts ParisTech (ENPC)</color>\\ <color grey>2.35.1</color>
 +  - **[[http://imagine.enpc.fr/positions/IMAGINE-internships-2012.pdf|Automatic, high-level interpretation of raw 3D building models]]** \\ <color grey>Renaud Marlet - Ecole des Ponts ParisTech (ENPC)</color>\\ <color grey>2.14.1, 2.27.1</color>
 +  - **[[http://imagine.enpc.fr/positions/IMAGINE-internships-2012.pdf|Comparison of parsing methods for shape grammars]]** \\ <color grey>Renaud Marlet - Ecole des Ponts ParisTech (ENPC)</color>\\ <color grey>2.14.1, 2.27.1</color>
 +  - **[[https://docs.google.com/document/d/1Desy5yJB0ZUoD5ItyiDRI0Xg6Fv0J7FZmuSAw1OwlZI/edit|Applied Research - Business Forecasting]]** \\ <color grey>Eric Lestrade (e.lestrade@nimble-apps.com) - Paris</color>\\ <color grey></color>
 +  - **[[http://www.lri.fr/~contejea/stages/mpri12_1.html|Coopération d'algorithmes de matching modulo]]** \\ <color grey>S. Conchon & É. Contejean - LRI, Orsay, UPSud</color>\\ <color grey>M2-5</color>
 +  - **[[http://www.loria.fr/~pogodall/sujets/pogodalla-mpri.pdf|Génération dans les Grammaires Catégorielles Abstraites]]** \\ <color grey>Sylvain Pogodalla - LORIA (Nancy)</color>\\ <color grey></color>
 +  - **[[http://www.loria.fr/~pogodall/sujets/pogodalla-guillaume-mpri.pdf|Typage et structure de dérivation des Grammaires d'Interaction pour la construction sémantique]]** \\ <color grey>Sylvain Pogodalla et Bruno Guillaume - LORIA (Nancy)</color>\\ <color grey>2.27.1, 2.1, 2.4</color>
 +  - **[[http://www.thlab.net/~nhegde/Disaggregation2012.pdf|Disaggregation of aggregate data:  Appliance profiling and analysis of aggregate household energy consumption]]** \\ <color grey>Nidhi Hegde - Technicolor Paris Research Lab</color>\\ <color grey></color>
 +  - **[[http://repmus.ircam.fr/bresson/enseignement/stage|Programmation fonctionnelle réactive pour la composition assistée par ordinateur]]** \\ <color grey>Jean Bresson, Jean-Louis Giavitto - IRCAM</color>\\ <color grey></color>
 +  - **[[http://www.liafa.jussieu.fr/~chapuy/enseignement/Wenjie-sujet.pdf|Algorithmes RSK généralisés et cartes combinatoires]]** \\ <color grey>Guillaume Chapuy - LIAFA</color>\\ <color grey></color>
 +  - **[[http://www.pps.jussieu.fr/~amadio/stage-cerco12.pdf|Certifying and reasoning on cost annotations of functional programs]]** \\ <color grey>R. Amadio, Y. Regis-Gianas -- PPS Laboratory, Paris</color>\\ <color grey>2.4, 2.7.1,2</color>
 +  - **[[http://hybridr.net/stage2012.pdf|Réalité Hybride: Maquette pour un service géolocalisé avec grand nombre d'objets mobiles]]** \\ <color grey>Joaquin Keller</color>\\ <color grey></color>
 +  - **[[http://www.liafa.jussieu.fr/~sighirea/stage_sdd.pdf|Abstract domains for the analysis of programs with dynamic data structures]]** \\ <color grey>Constatin Enea & Mihaela Sighireanu (LIAFA, University Paris Diderot and CNRS)</color>\\ <color grey>2.6, 2.9</color>
 +  - **[[http://dbweb.enst.fr/internships/paris_msc_internship.pdf|Advances in Holistic Ontology Alignment]]** \\ <color grey>Pierre Senellart – Télécom ParisTech</color>\\ <color grey>2.26.2</color>
 +  - **[[http://www.bbhedia.org/index.php?n=Main.EmploisAmpStages?action=downloadman&upname=sujet_MultiTasks.pdf|Formalisation de la stratégie de génération de structure des tâches d’une application temps réel embarquée: une approche basée sur le modèle d’agents OASIS]]** \\ <color grey>Belgacem BEN HEDIA - CEA-List</color>\\ <color grey></color>
 +  - **[[http://www.bbhedia.org/index.php?n=Main.EmploisAmpStages?action=downloadman&upname=sujet_SemDef.pdf|Test et généralisation du langage de description de sémantique du plateforme d’analyse statique du code pour supporter divers RTOS]]** \\ <color grey>Belgacem BEN HEDIA - CEA-List</color>\\ <color grey></color>
 +  - **[[http://pricingpartners.com/stages/Stage%20PP%202012%20Grid.pdf|Conception d’une interface graphique de scenarii de valorisation de produits financiers sur une grille de calcul]]** \\ <color grey>Kodjo Klouvi</color>\\ <color grey></color>
 +  - **[[http://pricingpartners.com/stages/Stage%20PP%202012%20Web.pdf|Développement d’une plateforme pour la valorisation de produits financiers]]** \\ <color grey>Kodjo Klouvi</color>\\ <color grey></color>
 +  - **[[http://pricingpartners.com/stages/Stage%20Belatos%202012%20Integration.pdf|Conception d’une interface entre un système de management d’ordres de produits financiers et d’une librairie de modèles de calculs]]** \\ <color grey>Didier Joanas HONG KONG</color>\\ <color grey></color>
 +  - **[[http://www.pps.jussieu.fr/~mellies/stage-logique-mu-tensorielle.pdf|Logique tensorielle, mu-calcul et schémas récursifs d'ordre supérieurs]]** \\ <color grey>Paul-Andre Mellies, Laboratoire PPS</color>\\ <color grey>2.1, 2.2, 2.20</color>
 +  - **[[http://www.liafa.jussieu.fr/~pierref/MPRI/stage.pdf|Checkability in Asynchronous Error-Prone Distributed Computing Using Few Values]]** \\ <color grey>Pierre Fraigniaud (LIAFA, Université Paris Diderot)</color>\\ <color grey>2.18.1 et 2.18.2</color>
 +  - **[[www.liafa.jussieu.fr/~habib/Stages/sauts.pdf|Nombre de sauts arborés]]** \\ <color grey>M. Habib</color>\\ <color grey></color>
 +  - **[[www.liafa.jussieu.fr/~habib/Stages/flowcomputations.pdf|Calculs de flots dans les graphes]]** \\ <color grey>M. Habib, LIAFA Paris</color>\\ <color grey></color>
 +  - **[[http://www-apr.lip6.fr/~buixuan/files/stage_MPRI.pdf|Diviser pour régner des problèmes NP-complets sur les graphes]]** \\ <color grey>Binh-Minh Bui-Xuan, Lip6, UPMC-CNRS</color>\\ <color grey></color>
 +  - **[[http://www.eleves.ens.fr/home/milchior/sujet-FOplus.pdf|Logique du premier ordre sur les mots avec addition]]** \\ <color grey>Alexis Bes, LACL, UPEC</color>\\ <color grey></color>
 +  - **[[http://www.di.ens.fr/~fouque/stage-cubeattacks.pdf|cube attack]]** \\ <color grey>Fouque - Paris</color>\\ <color grey>2.12.1, 2.13.1 </color>
 +  - **[[http://img706.imageshack.us/img706/2123/internshipproject.pdf|Logical characterizations of word relations]]** \\ <color grey>W. Thomas - RWTH Aachen</color>\\ <color grey>Fondations de la theorie des automates, Modelisation par automates finis</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