April 2009 - Annonce

Séminaire Performance et Généricité du LRDE le Mercredi 22 avril 2009
by Akim Demaille 10 Apr '09

10 Apr '09

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 22 avril 2009 (14h-17h). Au programme: * 14h: Visite guidée de SmartEiffel: le génie logiciel en pratique. -- Dominique Colnet. SmartEiffel - LORIA. http://SmartEiffel.loria.fr SmartEiffel, également connu sous le nom de GNU Eiffel, est à la fois un langage et un ensemble d'outils de compilations, de documentation et de validation. Le langage SmartEiffel vise à favoriser la mise en pratique des principales exigences liées au développement d'un gros logiciel par une grande équipe. En plus d'exigences en terme de qualité, de sécurité et de documentation, la définition de SmartEiffel est également soucieuse de l'efficacité du programme à l'exécution. Ainsi, le modèle des objets qui est à la base du langage intègre également les types les plus élémentaires sans surcoût potentiel à l'exécution. Pour sa part, le mécanisme de programmation par contrats qui est essentiel en matière de documentation est également un bon moyen de rechercher les meilleures performances à l'exécution. Durant cet exposé, la visite guidée du langage présentera le modèle d'objets, la programmation par contrats, la double forme d'héritage multiple ainsi que le mécanisme des agents. Dominique Colnet, principal auteur de SmartEiffel, est membre du LORIA et professeur d'informatique à l'IUT Nancy-Charlemagne. * 15h30: Lisaac/IsaacOS: La puissance des langages objets à prototypes. -- Benoit Sonntag. ICPS - LSIIT. http://isaacproject.u-strasbg.fr/ Lisaac est un petit langage basé sur la technologie objet à base de prototype. Plus flexible que l'objet à base de classe, elle permet un dynamisme et un degré d'expressivité encore inégalés. Lisaac est inspiré du langage Self pour les concepts d'objets à prototypes et du langage Eiffel, pour les aspects d'ingénierie logicielle et notamment pour la programmation par contrat. Enfin, l'objectif étant de réaliser de la programmation de bas niveau à l'aide d'un langage de haut niveau, un ensemble de concepts utiles à la programmation système a été ajouté. Le langage Lisaac utilise un nombre particulièrement restreint d'idiomes orthogonaux rendant difficile l'élaboration d'un compilateur efficace. Son compilateur en fait aujourd'hui l'unique langage à prototype compilé. Les performances atteintes sont proche des compilateurs C, voire même au-delà... Pour étayer, approfondir et illustrer nos propos, nous ferons un rapide tour d'horizon du développement du système d'exploitation IsaacOS entièrement écrit en Lisaac. Durant cet exposé, nous aborderons les thèmes suivants: concept à prototype versus concept à classe; héritage multiple et dynamique et autres particuliarité du Lisaac; technique de compilation et résultat de performance; validation des concepts avec une brève présentation du système d'exploitation IsaacOS. Benoit Sonntag, principal auteur du projet Lisaac/IsaacOS, est membre de l'équipe ICPS au LSIIT et Maître de conférence d'informatique à l'UDS Strasbourg (Anciennement ULP). 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

Publication: ISMM'09: Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images
by Roland Levillain 09 Apr '09

09 Apr '09

We are happy to announce that the following paper has been accepted for publication at the 9th International Symposium on Mathematical Morphology (ISMM) that will take place at Groningen, The Netherlands, on August 24 - 27, 2009: Roland Levillain (1,2), Thierry Géraud (1,2) and Laurent Najman (2) Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images http://publis.lrde.epita.fr/200908-ISMM (1) EPITA Research and Development Laboratory (LRDE) (2) Université Paris-Est, Laboratoire d'Informatique Gaspard-Monge, Equipe A3SI, ESIEE Paris We present a programming framework for discrete mathematical morphology centered on the concept of genericity. We show that formal definitions of morphological algorithms can be translated into actual code, usable on virtually any kind of compatible images, provided a general definition of the concept of image is given. This work is implemented in Milena, a generic, efficient, and user-friendly image processing library.

1 0

Séminaire Performance et Généricité du LRDE du Mercredi 22 avril 2009
by Daniela Becker 09 Apr '09

09 Apr '09

Bonjour, La prochaine session du séminaire Performance et Généricité du LRDE (Laboratoire de Recherche et Développement de l'EPITA) a lieu le Mercredi 22 avril 2009 (14h-17h). Au programme: * 14h : Visite guidée de SmartEiffel : le génie logiciel en pratique. Dominique Colnet. SmartEiffel - LORIA. SmartEiffel, également connu sous le nom de GNU Eiffel, est à la fois un langage et un ensemble d’outils de compilations, de documentation et de validation. Le langage SmartEiffel vise à favoriser la mise en pratique des principales exigences liées au dévelop- pement d’un gros logiciel par une grande équipe. En plus d’exigences en terme de qualité, de sécurité et de documentation, la déﬁnition de SmartEiffel est également soucieuse de l’efﬁcacité du programme à l’exécution. Ainsi, le modèle des objets qui est à la base du langage intègre également les types les plus élé- mentaires sans surcoût potentiel à l’exécution. Pour sa part, le mécanisme de programmation par contrats qui est essentiel en matière de documentation est également un bon moyen de rechercher les meilleures performances à l’exécution. Durant cet exposé, la visite guidée du langage présentera le modèle d’objets, la programmation par contrats, la double forme d’héritage multiple ainsi que le mécanisme des agents. Dominique Colnet, principal auteur de SmartEiffel, est membre du LORIA et professeur d’informatique à l’IUT Nancy-Charlemagne. http://SmartEiffel.loria.fr * 15h30 : Lisaac/IsaacOS : La puissance des langages objets à prototypes. Benoit Sonntag. ICPS - LSIIT. Lisaac est un petit langage basé sur la technologie objet à base de prototype. Plus ﬂexible que l’objet à base de classe, elle permet un dynamisme et un degré d’expressivité encore inégalés. Lisaac est inspiré du langage Self pour les concepts d’objets à prototypes et du langage Eiffel, pour les aspects d’in- génierie logicielle et notamment pour la programmation par contrat. Enﬁn, l’objectif étant de réaliser de la programmation de bas niveau à l’aide d’un langage de haut niveau, un ensemble de concepts utiles à la programmation système a été ajouté. Le langage Lisaac utilise un nombre particulièrement restreint d’idiomes orthogonaux rendant difﬁcile l’élaboration d’un compilateur efﬁcace. Son compilateur en fait aujourd’hui l’unique langage à prototype compilé. Les performances atteintes sont proche des compilateurs C, voire même au-delà... Pour étayer, approfondir et illustrer nos propos, nous ferons un rapide tour d’horizon du développement du système d’exploitation IsaacOS entièrement écrit en Lisaac. Durant cet exposé, nous aborderons les thèmes suivants : concept à prototype versus concept à classe ; héritage multiple et dynamique et autres particuliarité du Lisaac ; technique de compilation et résultat de performance ; validation des concepts avec une brève présentation du système d’exploitation IsaacOS. Benoit Sonntag, principal auteur du projet Lisaac/IsaacOS, est membre de l’équipe ICPS au LSIIT et Maître de conférence d’informatique à l’UDS Strasbourg (Anciennement ULP). http://isaacproject.u-strasbg.fr/ 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. -- Daniela Becker

1 0

DEADLINE EXTENSION: 6th European Lisp Workshop at ECOOP, July 6 2009
by Didier Verna 08 Apr '09

08 Apr '09

Dear colleagues, upon request from several potential contributors, we have postponed the submission deadline for the 6th European Lisp Workshop by two weeks. The new deadline is now April 22nd. +------------------------------------------------------------+ | CALL FOR PAPERS | | 6th European Lisp Workshop | | July 6, Genova, Italy - co-located with ECOOP 2009 | +------------------------------------------------------------+ Important Dates =============== Submission deadline: April 22, 2009 (EXTENDED) Notification of acceptance: May 08, 2009 ECOOP early registration deadline: May 20, 2009 6th European Lisp Workshop: July 06, 2009 Please note that registration must be done with ECOOP itself. For more information visit http://elw.bknr.net/2009 Contact: Didier Verna, didier(a)lrde.epita.fr 2009 Special News ================= This year, and for the first time, the workshop proceedings will be published in the ACM Digital Library. Also, the workshop will feature interactive tutorial/demo/coding sessions (see below). Overview ======== "...Please don't assume Lisp is only useful for Animation and Graphics, AI, Bio-informatics, B2B and E-Commerce, Data Mining, EDA/Semiconductor applications, Expert Systems, Finance, Intelligent Agents, Knowledge Management, Mechanical CAD, Modeling and Simulation, Natural Language, Optimization, Research, Risk Analysis, Scheduling, Telecom, and Web Authoring just because these are the only things they happened to list." -- Kent Pitman Lisp, one of the eldest computer languages still in use today, is gaining momentum again. The structure of Lisp makes it easy to extend the language or even to implement entirely new dialects without starting from scratch, making it the ideal candidate for writing Domain Specific Languages. Common Lisp, with the Common Lisp Object System (CLOS), was the first object-oriented programming language to receive an ANSI standard and retains the most complete and advanced object system of any programming language, while influencing many other object-oriented programming languages that followed. This workshop will address the near-future role of Lisp-based languages in research, industry and education. We solicit contributions that discuss the opportunities Lisp provides to capture and enhance the possibilities in software engineering. We want to promote lively discussion between researchers proposing new approaches and practitioners reporting on their experience with the strengths and limitations of current Lisp technologies. The workshop will have two components: there will be formal talks, and interactive turorial/demo/coding sessions. Papers ====== Formal presentations in the workshop should take between 20 minutes and half an hour; additional time will be given for questions and answers. Suggested topics include (but are not limited to): - Experience reports / Case studies - Educational approaches - Software Evolution - Development Aids - Persistent Systems - Dynamic Optimization - Implementation techniques - Hardware Support - Efficiency / Distribution / Parallel programming - Macro-, reflective-, meta- and/or rule-based development approaches - Protocol Meta-programming and Libraries - Context-Oriented, Domain-Oriented and Generative Programming Interactive Tutorial/Demo/Coding Sessions ========================================= Additionally, we invite less formal talks in the form of interactive tutorial/demo/coding sessions. The purpose of these sessions is to both demonstrate and receive feedback on any interesting Lisp system, either stable or under development. Being less formal than technical paper presentations, it is expected that these sessions be highly interactive. Submission Guidelines ===================== Potential contributors are encouraged to submit: - a long paper (around 10 pages) presenting scientific and/or empirical results about Lisp-based uses or new approaches for software engineering purposes, - a short essay (5 pages) defending a position about where research, practice or education based on Lisp should be heading in the near future, - a proposal for an interactive tutorial/demo/coding session (1-2 pages) describing the involved library or application, and the subject of the session. Papers (both long and short) should be formatted following the ACM SIGS guidelines (see http://www.acm.org/sigs/publications/proceedings-templates) and include ACM classification categories and terms (see http://www.acm.org/about/class/1998) Authors will later be required to sign an ACM copyright form. Submissions should be mailed as PDF to Didier Verna (didier(a)lrde.epita.fr) before the submission deadline. Organizers ========== Didier Verna, EPITA Research and Development Laboratory, Paris Charlotte Herzeel, Programming Technology Lab, Vrije Universiteit, Brussel Robert Strandh, LaBRI, University of Bordeaux I, France Christophe Rhodes, Goldsmiths College, University of London Hans Hübner, Software Developer, Berlin -- European Lisp Symposium, May 2009: http://www.european-lisp-symposium.org European Lisp Workshop, July 2009: http://elw.bknr.net/2009 Didier Verna <didier(a)lrde.epita.fr> @ LRDE: 01 44 08 01 85

1 0

L'air de rien 16
by Daniela Becker 08 Apr '09

08 Apr '09

Bonjour, nous avons le plaisir de vous présenter le n°16 du bulletin du LRDE. C'est un numéro Spécial dédié à la relation entre "Epitéen et Docteur", plus précisément à comment le LRDE avec sa formation CSI est devenu une pépinière de jeunes chercheurs. Nous présentons les thèses de quatre anciens du labo ainsi que le travail en cours d'un autre futur docteur. Sont présentés également plusieurs articles scientifiques qui ont été acceptés à des conférences internationales. Vous trouverez dans ce numéro également une présentation de quelques conférences auxquelles certains enseignants-chercheurs du LRDE participent, en tant qu'invité ou organisateur. Vous pouvez télécharger le bulletin en couleur à la page suivante : http://publis.lrde.epita.fr/200904-l-air-de-rien-16 -- Daniela Becker

1 0