[Lrde Annonce] [Seminaire-LRDE] Fin de la saison 2011-2012

Chers collègues, L'édition 2011-2012 du séminaire de recherche du LRDE, consacré au thème cher à notre laboratoire – Performances et Généricité – vient de s'achever. Cette année encore nous avons eu le plaisir d'accueillir des orateurs de qualité, renommés dans leur domaine. Vous trouverez ci-dessous une liste thématique des différents exposés. Les hyperliens vous conduirons non seulement à leur résumé détaillé, mais également aux planches des exposés, et aux vidéos pour certaines séances. Nous remercions chaleureusement les orateurs qui nous ont honorés de leur présence. Merci également aux visiteurs ! Nous prenons d'ores et déjà rendez-vous pour une reprise à la rentrée prochaine. N'hésitez pas à nous proposer un exposé, ou à nous indiquer des orateurs potentiels. Bonnes vacances à tous, Akim, pour le Laboratoire de R&D de l'EPITA * Langages, paradigmes de programmation ======================================= * GPU Computing : début d'une ère ou fin d'une époque ? Eric Mahé -- Responsable du projet OpenGPU http://seminaire.lrde.epita.fr/2012-06-20.php * Reusable Generic Look Ahead Multithreaded Cache: A case study for a high resolution player Guillaume Chatelet -- Ingénieur R&D à Mikros Image http://seminaire.lrde.epita.fr/2012-03-14.php * Des performances dans les nuages avec la virtualisation des langages Yann Régis-Gianas -- Maître de conférence à l'université Paris Diderot http://seminaire.lrde.epita.fr/2012-02-15.php * Certification d'annotations de coût dans les compilateurs Nicolas Ayache -- Post-doc au laboratoire PPS de l'université Paris Diderot http://seminaire.lrde.epita.fr/2012-02-15.php * Pourquoi Javascript est-il aussi rapide/lent ? Nicolas Pierron -- Ingénieur R&D, Mozilla Paris http://seminaire.lrde.epita.fr/2011-10-26.php * Traitement d'image ==================== * Un modèle générique de traitement et de représentation des images Antoine Manzanera -- Enseignant-Chercheur à l'ENSTA-ParisTech http://seminaire.lrde.epita.fr/2012-05-09.php * Analyse des mouvements apparents dans un flux vidéo Matthieu Garrigues -- Ingénieur Recherche à l'ENSTA-ParisTech http://seminaire.lrde.epita.fr/2012-05-09.php * Filtrage morphologique dans les espaces de formes : Applications avec la représentation d'image par arbres Yongchao Xu -- Doctorant LRDE/ESIEE http://seminaire.lrde.epita.fr/2012-07-04.php * Le point de vue d'un théoricien sur l'intérêt de la généricité pour le traitement d'images Laurent Najman -- Professeur à l'ESIEE http://seminaire.lrde.epita.fr/2012-03-21.php * Interactive 2D and 3D Segmentation with ilastik Ullrich Köthe -- Senior Researcher, University of Heidelberg http://seminaire.lrde.epita.fr/2012-11-16.php * Model checking ================ * Vérification efficace de propriétés insensibles au bégaiement Ala Eddine Ben Salem -- Doctorant LRDE/LIP6 http://seminaire.lrde.epita.fr/2012-07-04.php * Composition dynamique de techniques pour le model checking efficace Étienne Renault -- Doctorant LRDE/LIP6 http://seminaire.lrde.epita.fr/2012-07-04.php _______________________________________________ Seminaire mailing list Seminaire(a)lrde.epita.fr https://www.lrde.epita.fr/mailman/listinfo/seminaire