September 2013 - Annonce

Keynote at ACCU 2014
by Didier Verna 23 Sep '13

23 Sep '13

Hello, I am pleased to announce that I will be a keynote speaker at the next ACCU conference, to be held in Bristol, next April. The title and abstract are given below. Biological Realms in Computer Science In biology, evolution is usually seen as a tinkering process, different from what an engineer does when he plans the development of his systems. Recently, studies have shown that even in biology, there is a part of good engineering. As computer scientists, we have much more difficulty to admit that there is also a great deal of tinkering in what we do, and that our software systems behave more and more like biological realms every day. This keynote will take you to a journey through the bonds between biology and computer science. Starting with an epistemological and historical view, we will see how these bonds developed over the years, but we will also ask ourselves whether these bonds were intentionally created, or whether they already existed, before we even found them. We will also meet the Engineer and the Tinkerer, and see that they are not necessarily different persons. Finally, through such notions as Determinism, Predictability and Control, we will envision and explain a possible future for our software systems seen as living organisms; a future that's in fact already here, but that we are reluctant to accept. -- Resistance is futile. You will be jazzimilated. Lisp, Jazz, Aïkido: http://www.didierverna.info

1 0

L'air de rien 29.0
by Daniela Becker 18 Sep '13

18 Sep '13

Bonjour, nous avons le plaisir de vous annoncer la sortie du n°29 du bulletin du LRDE. C'est un numéro Spécial Rentrée qui présente l'ensemble des membres du LRDE. Vous y trouverez également un aperçu des activités du LRDE et de la majeure CSI dont font partie tous les élèves épitéens intégrant le labo. Vous pouvez télécharger le bulletin en couleur à la page suivante : http://publis.lrde.epita.fr/201309-l-air-de-rien-29 -- Daniela Becker Responsable administrative du LRDE

1 0

Vidéo du séminaire CSI de Raphaël Boissel du 11 juillet 2013 en ligne
by Daniela Becker 10 Sep '13

10 Sep '13

Bonjour, nous avons le plaisir de vous présenter la vidéo de l'exposé de Raphaël Boissel durant le séminaire CSI du 11 juillet 2013. Vous la trouverez ici : http://www.dailymotion.com/video/k6zPvJ45FyX2c84BqYT Le résumé de l'exposé : *************************** " Réduire les ressources utilisées par une chaîne de traitement complexe " - Raphaël Boissel Même si la précision du système de localisation de texte développé par le laboratoire a aujourd'hui grandement augmentée, un des principaux problèmes demeure la vitesse. En effet, si l'on souhaite être en mesure de l'utiliser pour extraire du texte dans des vidéos ou s'il doit être embarqué dans des appareils aux ressources limitées tel que des téléphones portables, la consommation de ressources mémoire et CPU doit être réduite. Pour parvenir à cet objectif, plusieurs méthodes permettant de réduire l'impact mémoire et CPU des étapes les plus coûteuses peuvent être utilisées. Cependant, toutes n'offrent pas les mêmes résultats en fonction de l'image d'entrée et certaines peuvent même dégrader le résultat final produit par le système. L'objectif est de présenter ces méthodes, d'observer leurs résultats et de déterminer dans quelles situations elles sont applicables. -- Daniela Becker Responsable administrative du LRDE

1 0

[Seminaire-LRDE] Mercredi 9 octobre 2013: Luca Saiu -- Projet GNU, INRIA.
by Daniela Becker 04 Sep '13

04 Sep '13

Chers collègues, La prochaine session du séminaire Performance et Généricité du LRDE (Laboratoire de Recherche et Développement de l'EPITA) aura lieu le Mercredi 9 octobre 2013 (11h--12h), Salle Lα du LRDE. Au programme: * 11h: GNU epsilon, un langage de programmation extensible -- Luca Saiu -- Projet GNU, INRIA. http://ageinghacker.net Le réductionnisme est une technique réaliste de conception et implantation de vrais langages de programmation, et conduit à des solutions plus faciles à étendre, expérimenter et analyser. Je vais décrire la conception et l'implantation de GNU epsilon, un langage de programmation extensible, basé sur un langage-noyau minimaliste impératif du premier ordre, équipé de mécanismes d'abstraction forts et avec des possibilités de réflexion et auto-modification. Le langage peut être étendu à des niveaux très hauts : en utilisant des macros à la Lisp et des transformations de code à code réécrivant les expressions étendues en expressions-noyau, on arrive à ajouter les clôtures et les continuations de première classe au dessus du noyau. Les programmes qui ne s'auto-modifient pas peuvent être analysés formellement, grâce à la simplicité de la sémantique. Je vais parler rapidement d'une analyse statique dont j'ai prouvé une propriété de «soundness» par rapport à la sémantique dynamique. Le langage se prête à une implantation efficace : je vais montrer un prototype de compilateur natif particulièrement simple. -- Luca Saiu, programmeur expérimenté et spécialiste de langages, a obtenu son master à l'Université de Pise et son doctorat à l'Université Paris 13. Il a travaillé à l'INRIA sur le support multi-cœur d'OCaml. Le langage de programmation epsilon, logiciel GNU, est son projet le plus ambitieux. Luca Saiu est également co-auteur de Marionnet, un simulateur de réseaux en OCaml, utilisé pour la pédagogie en France et à l'étranger. Pour plus de renseignements, consultez http://seminaire.lrde.epita.fr/. L'entrée du séminaire est libre. Merci de bien vouloir diffuser cette information le plus largement possible. -- Akim Demaille Akim.Demaille(a)lrde.epita.fr _______________________________________________ Seminaire mailing list Seminaire(a)lrde.epita.fr https://lists.lrde.epita.fr/listinfo/seminaire

1 0