- Annonce

ACCU 2011
by Didier Verna 06 Dec '10

06 Dec '10

Hello, I'm please to announce that I will be giving a 90 minutes session at the next ACCU conference, in Oxford. The abstract is given below: Meta-circularity... and vice-versa As complexity increases, one often feels limited by the use of a single language, and incorporates new technology in order to express the original problem more abstractly, more precisely, and design solutions more efficiently. Using better-suited languages also has the advantage of letting you think about your problem in new and different ways, perhaps ways that you had not thought of before. It is thus no surprise to see the profusion of new languages that we face today, notably scripting and domain-specific ones. But then, why the need for all this new and different technology? Wouldn't it be better if your primary language could evolve the way you want it to? And why is it not generally possible? Perhaps, because your primary language is not really extensible... Meta-linguistic abstraction, that is, the art of language design plays a capital role in computer science because we have the ability to actually implement the languages we design, for instance by creating interperters for them. A fundamental idea in this context is that an interpreter is just another program (by extension, one could argue that any program is an interpreter for a particular language). In this session, we will revive a historical moment in computer science: the birth of meta-circularity. When, in 1958, John McCarthy invented Lisp, he hadn't foreseen that given the core 7 operators of the language, it was possible to write Lisp in itself, by way of an interpreter. The practical implication of meta-circularity is that a meta-circular language gives you direct control over the semantics of the language itself, and as a consequence, means to modify or extend it. No wonder, then, why lispers never felt the need for external DSLs, scripting languages, XML or whatever. The reason is that Lisp, being extensible, can do all that by itself. Lisp is, by essence, the "programmable programming language". -- Resistance is futile. You will be jazzimilated. El Didou

1 0

Séminaire Performance et Généricité du LRDE le Mercredi 8 décembre 2010
by Jonathan Fabrizio 01 Dec '10

01 Dec '10

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 8 décembre 2010 (14h-16h30). Au programme: * 14h: PHP.Reboot: un language de script utilisant la JSR 292 -- Rémi Forax Depuis 2000, on assiste à un regain d'intérêt pour les langages typés dynamiquement regroupés sous la bannière "langage de script". Pour les langages de script les plus populaires, comme PHP, Python ou Ruby, il existe, en plus des implantations écrites en C, des implantations plus récentes utilisant des environnements comme la machine virtuelle Java (JVM) ou la plateforme .Net. Ces implantations sont souvent plus efficaces que les implantations historiques, pourtant, ces environnements d'exécution utilisent des langages intermédiaires typés statiquement qui sont peu propices à l'implantation de langage typé dynamiquement. Partant de ce constat, le Java Community Process a créé la JSR 292 intitulée "Supporting Dynamically Typed Languages on the JavaTM Platform" dont le but est de proposer une API facilitant l'implantation et les performances des langages de script sur une machine virtuelle Java. Mon exposé se compose de deux parties. Dans un premier temps, en tant que membre du groupe d'experts, j'essaierai de restituer de façon didactique les concepts introduits par la JSR 292 en expliquant les tenants et les aboutissants. La seconde partie, plus personnelle, montrera comment développer l'environnement d'exécution d'un langage de script en utilisant les outils fournis par la JSR 292. Je m'appuierai pour cela sur un prototype de langage que j'ai développé et nommé PHP.reboot. -- Rémi Forax est, depuis 2003, maître de conférence à l'université Paris Est Marne-la-Vallée au sein du Laboratoire Informatique Gaspard Monge (LIGM). Ses travaux de recherche sont centrés sur la conception de compilateurs et d'environnements d'exécution basée sur des machines virtuelles. 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.

1 0

Soutenance de thèse de Thomas Largillier (lundi 29/11 à 14h)
by Thomas Largillier 22 Nov '10

22 Nov '10

Bonjour, J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée: "Probabilistic algorithms for large scale systems" ainsi qu'au traditionnel pot qui suivra. La soutenance aura lieu le lundi 29 novembre 2010 à 14h en salle 79 du bâtiment 490 de l'université Paris-Sud XI. ========== Résumé ========== Cette thèse explore les sytèmes à grande échelle selon deux axes distincts, tout d'abord les réseaux dont la taille a grandi jusqu'à devenir problématique (réseaux de capteurs, applications massivement parallèles, ...) ainsi que les systèmes dont la taille est dûe à la collection de données qu'ils représentent. Un exemple typique de ces systèmes est le world wide web. Les travaux réalisés concernent l'identification et le déclassement du spam sous plusieurs de ses formes. Tout d'abord le webspam, utilisé par les webmasters malhonnêtes qui souhaitent améliorer leur visibilité sur le web par tous les moyens. Dans cette thèse nous montrons qu'il est possible en utilisant des moyens rapides (marches aléatoires) de diminuer fortement l'influence de ces pages sur le calcul du pagerank. J'ai aussi travaillé sur le déclassement du spam social pouvant apparaître sur des sites d'informations collaboratifs comme digg. L'approche proposée à base de filtres statistiques pour freiner la promotion de news spammantes a été validée à la fois d'un point de vue statistique et humain. Cette thèse propose aussi un nouveau schéma de distribution de messages dans les réseaux de capteurs permettant de diffuser de l'information sur un sous-ensemble des noeuds du réseau en respectant une distribution prédéterminée le tout en réduisant le nombre de messages par rapport aux approches précédentes. J'ai aussi participé à l'élaboration d'une plateforme d'émulation pour applications parallèles en réalisant la virtualisation du réseau niveau bas afin d'offrir un contrôle complet à l'utilisateur sur l'environnement. This thesis focuses on large-scale systems through two angles: first networks which size grows until becoming an issue itself (sensor networks, massively parallel applications, ...) and also systems which size is coming from the data collection they represent. A typical example of such systems is the World Wide Web. The work realized concerns the detection and the demotion of spam under various forms. First link spam, used by malicious webmasters who want to increase their visibility on the Web by all means. In this thesis, we show that it is possible using fast methods (random walks) to decrease the influence of such pages on the PageRank's computation. I also worked on the demotion of social spam that may appear on social news websites like Digg. The approach based on statistical filters to slow down the promotion of spamming news was validated from both a statistical and human point of view. This thesis also proposes a new message distribution scheme in sensor networks allowing to reach a subset of nodes according to a predetermined distribution with a lower number of exchanged messages compared to previous approaches. I also participate in the development of an emulation platform for parallel applications. I realized the low level network virtualization in order to provide users with a complete control over the environment. =================== Composition du jury =================== Rapporteurs: Brian D. Davison, Associate professor, Lehigh university. Aristides Gionis, Senior Researcher, Yahoo! Research. Examinateurs: Serge Abiteboul, Directeur de recherche, INRIA. Fabio Crestani, Professeur, Université Paris-Sud XI. Directeurs de thèse: Joffroy Beauquier, Professeur, Université Paris-Sud XI. Sylvain Peyronnet, Maître de conférence, Université Paris-Sud XI ======== Accès ======== Laboratoire de Recherche en Informatique Bât 490 Université Paris-Sud 11 91405 Orsay Cedex France Plan d'accès : http://www.lri.fr/info.pratiques.php Cordialement. -- Thomas Largillier

1 0

Soutenance de thèse de Nicolas Widynski
by Nicolas Widynski 17 Nov '10

17 Nov '10

Bonjour, J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée "Intégration d'informations spatiales floues dans un filtre particulaire pour le suivi mono- et multi-objets dans des séquences d'images 2D" qui se déroulera le vendredi 26 novembre 2010 à 14h en Amphi Opale, à Télécom ParisTech, 46 rue Barrault, 75013 Paris devant le jury composé de : Rapporteurs : Mylène Masson (Professeur, UTC) Wojciech Pieczynski (Professeur, Télécom SudParis) Examinateurs : Elise Arnaud (Maître de Conférence, Université Joseph Fourier) Maurice Milgram (Professeur, ISIR) Invité : Jacques Blanc-Talon (Ingénieur de recherche, DGA) Directrices de thèse : Séverine Dubuisson (Maître de Conférence, LIP6) Isabelle Bloch (Professeur, Télécom ParisTech) La soutenance sera suivie d'un pot en salle C48 auquel vous êtes chaleureusement conviés. Cordialement, Nicolas Widynski *************************** Résumé : Dans cette thèse, nous nous intéressons au suivi d’objets par filtrage particulaire dans des séquences d’images 2D. Dans ce contexte, nous proposons une méthode originale d'intégration d’informations floues dans le filtre particulaire, afin de guider le suivi d’objets en ajoutant des informations spatiales, qui peuvent être de type structurel ou de forme. Cela permet de mieux guider les particules pendant la phase prédictive, et grâce au modèle hybride défini, d’intégrer au filtre particulaire une information synthétisée des k dernières estimations ainsi que la dernière observation. Nous proposons également d’intégrer des contraintes spatiales floues dans le filtre particulaire dans le cas multi-objets. Ce type d’information permet de représenter des contraintes complexes entre plusieurs objets. A cette contribution, nous ajoutons celle d’un nouveau modèle de filtre particulaire pour le suivi multi-objets, qui est une amélioration de l’échantillonnage partitionné. Enfin, nous proposons de définir des vraisemblances à modèles multiples. Cette notion est adaptée lorsque l’objet change d’apparence au cours du temps. En définissant la vraisemblance par une loi de mélange dont les poids dépendent de l’objet et de l’image, il est ainsi possible de pondérer les vraisemblances en considérant l’état dans lequel se trouve l’objet. Toutes ces contributions ont été évaluées sur des séquences réelles, et les résultats montrent l’apport des approches proposées par rapport à d’autres filtres particulaires classiques. ***************************

1 0

Séminaire Performance et Généricité du LRDE le Mercredi 10 novembre 2010
by Jonathan Fabrizio 04 Nov '10

04 Nov '10

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 10 novembre 2010 (14h-16h30). Au programme: * 14h: Programmation par propriétés : application au traitement d'images -- Vicent Tariel L'idée d'une fonction est que la quantité d'entrée détermine complètement la quantité de sortie. En informatique, la quantité est une structure de données qui peut être simple, booléenne, entière, ou complexe, image, graphe, arbre. Dans ce domaine, un champ de recherche est de construire un ensemble de fonctions élémentaires, puis par composition d'en créer des plus compliquées. Pour cette dernière, une solution pratique est le langage Caméléon conçu par V. Tariel et O. Cugnon de Sevricourt, qui est un langage de flux de données génériques dont la sortie est prévue en janvier 2011. Générique signifie que tous les types de données peuvent être intégrés dans le langage. Pour cette première, ce séminaire couvrira quelques définitions de fonctions primaires reliées à l'image, incorporées à la bibliothèque standard de Caméléon. A la manière de l'implémentation de la bibliothèque standard du C++, il y aura l'utilisation d'un côté de l'algorithme générique for_each en typage statique et de l'autre des opérateurs et des itérateurs organisés en programmation orientée objet. L'itérateur localise l'action suivant différents paradigmes : ensemble fini et dénombrable, voisinage, convolution, zone d'influence. L'opérateur agit suivant différents paradigmes : arithmétique, croissance de régions. -- Ayant d'un côté un profile "informatique", ingénieur ESIEE avec un master en traitement d'images, et de l'autre côté un profile "science des matériaux", thèse en physique à l'école polytechnique avec un autre master en science des matériaux, le domaine de recherche de Vincent Tariel est axé sur l'image aussi bien expérimentalement, préparation de l'échantillon, microscopie, que numériquement, segmentation, caractérisation géométrique et physique, modélisation. -- Il est rattaché au Department of Applied Mathematics, Australian National University 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.

1 0

TUG 2010 paper
by Didier Verna 05 Oct '10

05 Oct '10

Hello, I'm pleased to announce that my paper entitled "Classes, Styles, Conflicts: the Biological Realm of LaTeX" has been published in the TUGboat journal, volume 32 n. 2, pages 162 -- 172. A live video recording of the presentation, made at the TUG 2010 conference in San Francisco, is also available at the following adress: http://river-valley.tv/classes-styles-conflicts-the-biological-realm-of-lat… -- Resistance is futile. You will be jazzimilated. Scientific site: http://www.lrde.epita.fr/~didier Music (Jazz) site: http://www.didierverna.com EPITA/LRDE, 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre, France Tel. +33 (0)1 44 08 01 85 Fax. +33 (0)1 53 14 59 22

1 0

Séminaire Performance et Généricité du LRDE le Mercredi 13 octobre 2010
by Jonathan Fabrizio 04 Oct '10

04 Oct '10

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 13 octobre 2010 (14h-16h). Au programme: * 14h: Recherche d'images et indexation multimédia basées contenu -- David Picard Dans la recherche multimédia basée contenu, on distingue trois champs d'applications différents : la recherche de cible dans laquelle on désire retrouver un document particulier ; la recherche interactive, dans laquelle l'utilisateur définit l'objet de la requête au fil de son interaction avec le système ; et la catégorisation, où il s'agit d'étiqueter les données en un certain nombre de classes prédéfinies. Cette présentation fera le tour d'horizon de mes travaux de recherche dans deux de ces domaines. Une première partie concernera la recherche de cible, où je présenterai le cas particulier de la recherche de quasi-copies dans de très grands volumes de données, et en particulier une application à la recherche de scènes urbaines identiques dans le cadre du projet iTowns. Dans la deuxième partie, je développerai mes travaux récents sur la classification d'images. L'accent y sera mis sur la fusion de descripteurs multimédias et les techniques d'apprentissage statistique permettant d'apprendre conjointement l'opération de fusion avec la fonction de classification. -- David Picard est actuellement maître de conférences à l'ENSEA (Cergy-Pontoise) au sein du laboratoire ETIS. Ses travaux de recherche sont centrés sur la reconnaissance de forme, l'apprentissage statistique ainsi que l'indexation de documents multimédia et la recherche d'information dans un contexte distribué. Il a obtenu sa thèse en 2008 sur la recherche d'image basée contenu à l'aide d'un système multi-agents, dans le cadre de données distribuées sur un réseau. Il a effectué ensuite un stage post-doctoral au LIP6 de l'université Pierre et Marie Curie, financé par le projet iTowns en partenariat avec l'IGN, pour la conception d'un moteur de recherche multimédia dans un contexte à la StreetView des rues de Paris. 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. -- Jonathan Fabrizio

1 0

L'air de rien 20
by Daniela Becker 30 Sep '10

30 Sep '10

Bonjour, nous avons le plaisir de vous annoncer la sortie du n°20 du bulletin du LRDE. C'est un numéro double Spécial Rentrée qui présente l'ensemble des membres du LRDE avec en particulier la présentation de trois stagiaires venus d'Asie et le récit de la récente expérience indienne d'un des enseignants-chercheurs du labo. Ce numéro donne é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 y trouverez également les dernières publications et l'annonce du prochain séminaire LRDE du 13 octobre 2010. Vous pouvez télécharger le bulletin en couleur à la page suivante : http://publis.lrde.epita.fr/201009-l-air-de-rien-20 -- Daniela Becker Responsable administrative du LRDE

1 0

Declt version 1.0b1 - first public release
by Didier Verna 21 Sep '10

21 Sep '10

Hello, I'm happy to announce the first public release of Declt. Declt (pronounce dec'let) is a reference manual generator for Common Lisp. It extracts and formats documentation from ASDF systems, including the system itself and its components, the packages defined in the system and definitions like constants, special variables, macros, functions, generic functions and methods, conditions, structures and classes. Reference manuals are generated in Texinfo format which can be subsequently converted into info, HTML, DVI, PostScript or PDF. The generated manuals are fully indexed and provide a complete set of cross-references between documentation elements. For instance, files and packages point to the definitions they provide, and those definitions point back to package and file in which they can be found. Get it at: http://www.lrde.epita.fr/~didier/software/lisp/misc.php#declt Declt requires SBCL to work (if you're interested in porting it, grep PORTME in the sources). Also, ASDF 2 has not been tested yet. -- Resistance is futile. You will be jazzimilated. Scientific site: http://www.lrde.epita.fr/~didier Music (Jazz) site: http://www.didierverna.com EPITA/LRDE, 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre, France Tel. +33 (0)1 44 08 01 85 Fax. +33 (0)1 53 14 59 22

1 0

[CfP] 4th European Lisp Symposium, Hamburg, March 31 - April 1st, 2011
by Didier Verna 13 Sep '10

13 Sep '10

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 4th European Lisp Symposium Special Focus on Parallelism & Efficiency March 31 - April 1st, 2011 TUHH, Hamburg University of Technology Hamburg, Germany http://www.european-lisp-symposium.org/ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Important Dates ~~~~~~~~~~~~~~~~ + Submission Deadline: January 09, 2011 + Author Notification: February 06, 2011 + Final Paper Due: February 28, 2011 + Symposium: March 31 - April 1st, 2011 Authors of accepted research contributions will be invited to submit an extended version of their papers for journal publication. Scope ~~~~~~ The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all aspects of design, implementation and application of any of the Lisp dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket and so on. We encourage everyone interested in Lisp to participate. The European Lisp Symposium 2011 invites high quality papers about novel research results, insights and lessons learned from practical applications, and educational perspectives. We also encourage submissions about known ideas as long as they are presented in a new setting and/or in a highly elegant way. This year's focus will be directed towards "Parallelism & Efficiency". We especially invite submissions in the following areas: + Parallel and distributed computing + Code generation for multi-core architectures + Code generation for HTM + Large and ultra-large systems + Optimization techniques + Embedded applications Contributions are also welcome in other areas, including but not limited to: + Context-, aspect-, domain-oriented and generative programming + Macro-, reflective-, meta- and/or rule-based development approaches + Language design and implementation + Language integration, inter-operation and deployment + Development methodologies, support and environments + Educational approaches and perspectives + Experience reports and case studies Technical Program: ~~~~~~~~~~~~~~~~~~ We invite submissions in the following forms: * Papers: Technical papers of up to 15 pages that describe original results or explain known ideas in new and elegant ways. * Demonstrations: Abstracts of up to 4 pages for demonstrations of tools, libraries, and applications. * Tutorials: Abstracts of up to 4 pages for in-depth presentations about topics of special interest for at least 90 minutes and up to 180 minutes. * Lightning talks: Abstracts of up to one page for talks to last for no more than 5 minutes. All submissions should be formatted following the ACM SIGS guidelines and include ACM classification categories and terms. For more information on the submission guidelines and the ACM keywords, see: http://www.acm.org/sigs/publications/proceedings-templates http://www.acm.org/about/class/1998 Submissions should be uploaded to Easy Chair, at the following address: http://www.easychair.org/conferences/?conf=els2011 Programme Chair ~~~~~~~~~~~~~~~~ Didier Verna - EPITA Research and Development Laboratory, France Local Chair ~~~~~~~~~~~~ Ralf Moeller - Hamburg University of Technology, Germany Programme Committee ~~~~~~~~~~~~~~~~~~~~ Antonio Leitao - Instituto Superior Tecnico/INESC-ID, Portugal Christophe Rhodes - Goldsmiths College, University of London, UK David Edgar Liebke - Relevance Inc., USA Didier Verna - EPITA Research and Development Laboratory, France Henry Lieberman - MIT Media Laboratory, USA Jay McCarthy - Brigham Young University, USA Jose Luis Ruiz Reina - Universidad de Sevilla, Spain Marco Antoniotti - Universita Milano Bicocca, Italy Manuel Serrano - INRIA, France Michael Sperber - DeinProgramm, Germany Pascal Costanza - Vrije Universiteit of Brussel, Belgium Scott McKay - ITA Software, USA -- Resistance is futile. You will be jazzimilated. Scientific site: http://www.lrde.epita.fr/~didier Music (Jazz) site: http://www.didierverna.com EPITA/LRDE, 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre, France Tel. +33 (0)1 44 08 01 85 Fax. +33 (0)1 53 14 59 22

1 0