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 28 avril 2010 (14h-16h) en amphi Masters à l'EPITA.
Au programme:
14h. Diagrammes de Décision à la Demande (DDoD)
--- Alban Linard
Les Diagrammes de Décision (DDs) forment une vaste famille de
structures de données, qui permettent de représenter et manipuler très
efficacement de grandes quantités d'informations. Cependant, parmi
les nombreux types de DDs, l'utilisateur est souvent désemparé pour
choisir le bon. Souvent, aucun type ne répondant exactement à ce
qu'il cherche, l'utilisateur doit faire adapter ses données au type de
DDs choisi. Le problème est que chaque type de DDs possède sa propre
définition. Il n'existe aucun socle commun qui permette de définir
n'importe quel type de DD. Ce problème se reflète au niveau des
opérations manipulant les DDs. Celles-ci sont aussi spécifiques à
chaque type. Cet exposé présente les Polymorphic Decision Diagrams,
un cadre assez général permettant de spécifier de nombreux types de
DDs existants. L'utilisateur peut ainsi décrire simplement les DDs
correspondant le mieux aux données qu'il souhaite représenter. Ce
cadre permet de plus d'ajouter dans la spécification les informations
qui permettront de retrouver les performances des types définis
jusqu'à présent. Un exemple concret impliquant des loutres permettra
de montrer les possibilités offertes par ce cadre.
Alban Linard est post-doctorant à l'université de Genève, dans
l'équipe "Software Modeling and Verification". Sa thèse s'est
déroulée conjointement au LIP6, dans l'équipe Modélisation et
Vérification et au LRDE. Il s'intéresse aux Diagrammes de Décision
et à leur application dans le model checking.
15h. Architecture logicielle pour des outils génériques en traitement
d'images
--- Roland Levillain
La plupart des frameworks de traitement d'images ne sont pas assez
génériques pour garantir une réutilisabilité effective des structures
de données et des algorithmes, tout en préservant performances et
facilité d'utilisation, et en restant proche de la théorie. Dans
cette présentation, nous proposons un cadre logiciel pour le
traitement d'images centré sur le paradigme de programmation
générique, cherchant à répondre tant aux besoins pratiques que
théoriques des scientifiques et des développeurs : la mise au point de
méthodes rapides et réutilisables, un niveau de généricité progressif,
la possibilité de traiter des ensembles de données volumineux, une
gestion de la mémoire automatique et efficace, la vérification
statique des types, l'orthogonalité des structures de données et des
algorithmes, etc. Cette approche permet aux utilisateurs de concevoir
et d'implémenter de nouvelles méthodes délivrées des contraintes
habituellement imposées pas les outils logiciels, de pratiquer des
expériences inter-domaines, de généraliser certains résultats et de
transformer facilement des prototypes en de vraies applications.
Roland Levillain est diplômé de l'EPITA (2003) et titulaire d'un
Mastère Spécialisé en Signal, Image et Reconnaissance des Formes
(SIRF) de l'ENST (2004). Depuis 2005, il travaille à l'EPITA et au
Laboratoire de Recherche et Développement de l'EPITA (LRDE) en tant
qu'enseignant-chercheur. Ses travaux portent sur le génie logiciel
en traitement d'images. Il participe au développement du projet
Olena, une plate-forme générique et performante pour le traitement
d'images, et poursuit une thèse sur le sujet depuis 2007.
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.
+------------------------------------------------------------+
| 2ND CALL FOR PAPERS |
| 7th European Lisp Workshop |
| June 21/22, Maribor, Slovenia - co-located with ECOOP 2010 |
+------------------------------------------------------------+
News:
=====
Our invited speaker, Manuel Serrano, will talk about "diffuse programming"
and HOP. The abstract of his presentation can be found on the website at:
http://european-lisp-workshop.org/upcoming/programme.php
Important Dates
===============
Submission deadline: April 19, 2010
Notification of acceptance: May 05, 2010
ECOOP early registration deadline: May 10, 2010
7th European Lisp Workshop: June 21 or 22, 2010 (tbdl)
Please note that registration must be done with ECOOP itself.
For more information visit http://www.european-lisp-workshop.org
Contact: Didier Verna, didier(a)lrde.epita.fr
Invited Speaker
===============
Manuel Serrano (INRIA, France)
http://www-sop.inria.fr/members/Manuel.Serrano/
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 remains 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):
- Context-, aspect-, domain-oriented and generative programming
- Macro-, reflective-, meta- and/or rule-based development approaches
- Protocol meta-programming and libraries
- New language features and abstractions
- Software evolution
- Development aids
- Persistent systems
- Dynamic optimization
- Implementation techniques
- Hardware Support
- Efficiency, distribution and parallel programming
- Educational approaches and perspectives
- Experience reports and case studies
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 both
to demonstrate and receive feedback on any interesting Lisp system,
either stable or under development. Being less formal than technical
paper presentations, these sessions are expected to 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 and include ACM classification categories and terms (see below).
Authors will later be required to sign an ACM copyright form, as the workshop
proceedings will be published in the ACM Digital Library.
For more information on the submission guidelines and the ACM keywords, see:
http://www.acm.org/sigs/publications/proceedings-templateshttp://www.acm.org/about/class/1998
Submissions should be uploaded to Easy Chair, at the following address:
http://www.easychair.org/conferences/?conf=elw2010
Organizers
==========
Didier Verna, EPITA Research and Development Laboratory, Paris
Charlotte Herzeel, Programming Technology Lab, Vrije Universiteit, Brussel
Robert Strandh, LaBRI, University of Bordeaux 1, France
Christophe Rhodes, Goldsmiths College, University of London
--
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
Bonjour,
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 31 mars 2010 (14h-16h)en Amphi 4 au Kremlin-Bicêtre.
Au programme:
* 14h
Généricité en traitement d'images: niveau algorithmique et logiciel.
-- Jean-Baptiste Fasquel
http://www.istia.univ-angers.fr/LISA/PERSO/persoen.php4?nom=FASQUEL
Ce séminaire porte sur certains de mes travaux en matière de
généricité et réutilisation en traitement d'images. Ces travaux
sont présentés à une échelle algorithmique, bas-niveau, et à une
échelle logicielle, plutôt haut-niveau. À l'échelle de
l'algorithme, nous présentons une technique permettant d'étendre la
généricité des algorithmes de traitement d'images par rapport à la
région d'intérêt traitée, en complément de la généricité par
rapport aux données (1D, 2D, 3D, scalaires, couleurs,
multi-spectrales, séquences, etc.) Cette méthode repose sur une
adaptation du patron de conception « Iterator » et sur le
polymorphisme de compilation en C++. Au niveau logiciel, l'objectif
de la généricité et de réutilisation est de faciliter le couplage
des algorithmes « purs » avec des fonctionnalités supplémentaires
telles que la visualisation, l'interface homme-machine, les
entrées-sorties... Dans ce cas, je présente les principes d'une
architecture flexible et évolutive implémentée en C++, combinant la
notion de (programmation par) rôle et la notion de (programmation
par) composants réutilisables. Ces travaux sont illustrés par des
applications dans le domaine médical.
-- Titulaire d'un diplôme d'ingénieur et d'un doctorat de
l'université de Strasbourg, Jean-Baptiste Fasquel a été, de 2002 à
Septembre 2009, chargé de recherche au sein de l'équipe
informatique de l'IRCAD (Institut de Recherche contre les Cancers
de l'Appareil Digestif, Strasbourg). Depuis Septembre 2009, il est
enseignant-chercheur à l'université d'Angers, rattaché au
Laboratoire d'Ingénierie des Systèmes Automatisés (LISA). Sa
thématique de recherche concerne le traitement des images, et
couvre aussi bien l'aspect méthode que l'aspect implémentation. Son
domaine d'application principal est l'aide au diagnostic médical.
* 15h
Généricité et héritage en Eiffel.
-- Bertrand Meyer
http://se.ethz.ch/~meyer/
L'une des caractéristiques de la programmation objet est
l'intégration (introduite par Eiffel dans un article de la première
conférence OOPSLA en 1986) entre les mécanismes d'héritage,
permettant de structurer clairement la description des systèmes, et
de généricité, permettant le paramétrage de ces descriptions. La
combinaison de ces deux techniques d'architecture est la clé de
l'extensibilité et de la réutilisabilité permises par la
technologie objets. L'exposé montrera l'interaction entre la
généricité et l'héritage en Eiffel et l'application de ces concepts
aux tâches d'analyse, de conception et d'implémentation en génie
logiciel. De nombreux exemples illustreront l'application de ces
idées, et compareront avec les solutions adoptées dans des langages
tels que Java et C#.
-- Bertrand Meyer est professeur de génie logiciel à l'École
Polytechnique Fédérale de Zurich (ETH) et Chief Architect d'Eiffel
Software (Santa Barbara). Il est l'auteur de nombreux livres de
génie logiciel et de programmation par objets, en particulier
"Object-Oriented Software Construction") (version française chez
Eyrolles, "Conception et Programmation par Objets"), Jolt Award
1998 ; "Eiffel: Le Langage", "Introduction à la Théorie des
Langages de Programmation" (traductions françaises chez
InterEditions) ; et, récemment, "Touch of Class: Introduction to
Programming Well Using Objects and Contracts", un livre
d'initiation à la programmation (Springer). Il a reçu le System
Award de l'ACM pour son travail sur Eiffel et est membre de
l'Académie des Technologies.
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
Hello,
I'm happy to announce that I will be presenting a paper at ELS 2010, the
next European Lisp Symposium, in Lisbon. The abstract is given below:
CloX: Common Lisp Objects for XEmacs
CloX is an ongoing attempt to provide a full Emacs Lisp implementation
of the Common Lisp Object System, including its underlying meta-object
protocol, for XEmacs. This paper describes the early development stages
of this project. CloX currently consists in a port of Closette to Emacs
Lisp, with some additional features, most notably, a deeper integration
between types and classes and a comprehensive test suite. All these
aspects are described in the paper, and we also provide a feature
comparison with an alternative project called EIEIO.
--
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
Hello,
I'm happy to announce that I will be presenting a paper at TUG 2010, in
San Francisco, for the 2^5th birthday of TeX. The abstract is given
below:
Classes, Styles, Conflicts: the Biological Realm of LaTeX
Every LaTeX user faces the "compatibility nightmare" one day or another.
With so much intercession capabilities at hand (LaTeX code being able to
redefine itself at will), a time comes inevitably when the compilation
of a document fails, due to a class/style conflict. In an ideal world,
class/style conflicts should only be a concern for package maintainers,
not end-users of LaTeX. Unfortunately, the world is real, not ideal, and
end-user document compilation does break.
As both a class/style maintainer and a document author, I tried several
times to come up with some general principles or a systematic approach
to handling class/style cross-compatibility in a smooth and gentle
manner, but I ultimately failed. Instead, one Monday morning, I woke up
with this vision of the LaTeX biotope, an emergent phenomenon whose
global behavior cannot be comprehended, because it is in fact the result
of a myriad of "macro"-interactions between small entities, themselves
in perpetual evolution.
In this presentation, I would like to draw bridges between LaTeX and
biology, by viewing documents, classes and styles as living beings
constantly mutating their geneTeX code in order to survive \renewcommand
attacks...
--
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
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 3 mars 2010 (14h-16h) en Amphi 4, KB.
Au programme :
Yayi : Bibliothèque générique de traitement morphologique d’images -
Raffi Enficiaud
Dans cet exposé, nous présenterons Yayi, une bibliothèque générique de
traitement morphologique d'image. Cette base logicielle, écrite en C++
et interfacée avec Python, fournit un nombre croissant de fonctions en
traitement d'image et en morphologie mathématique (distance,
segmentation, etc.). Nous discuterons de la mise en oeuvre générale, des
concepts génériques utilisés dans la bibliothèque, et de leurs
utilisations dans l'élaboration de nouveaux algorithmes. Enfin, nous
présenterons quelques pistes actuellement en développement dans Yayi
pour adresser certains des problèmes levés par la programmation générique.
Raffi Enficiaud a soutenu sa thèse au Centre de Morphologie Mathématique
en 2007. Pendant sa thèse, il a participé au design et au développement
de Morph-M (anciennement Morphée) qui est une base logicielle orientée
recherche pour le traitement d'images et la morphologie mathématique. Il
s'est particulièrement intéressé à l'extension multidimensionnelle et
multispectrale des algorithmes morphologiques, et a proposé de nouvelles
méthodes de segmentation et d'utilisation de la couleur. Après sa thèse,
il travaillé à DxO sur le thème de la quantification de défaut optique
et capteur. Il travaille depuis 2008 à l'INRIA Paris-Rocquencourt,
équipe-projet IMEDIA en qualité d'ingénieur expert, où il s'intéresse à
l'indexation d'image ainsi qu'à la visualisation de bases de donnée
multimédia. Il développe Yayi sur son temps libre.
--
Daniela Becker
Dans le cadre du séminaire du laboratoire PMMH de l'ESPCI,
Olivier Ricou a donné une conférence de culture générale
sur la gouvernance de l'Internet le 19 février.
Les transparents sont disponibles sur
www.lrde.epita.fr/~ricou/espci.pdf
--
Daniela Becker
I'm pleased to inform you that this year again, I will be part of the
COP programme committee. COP is ECOOP's Context Oriented Programming
workshop. See http://soft.vub.ac.be/cop10/
--
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
Hello,
the first public version (1.0) of RT for Emacs Lisp has just been
released. This is an Emacs Lisp port of the original Common Lisp
regression testing package.
Grab it here: http://www.lrde.epita.fr/~didier/software/xemacs.php?rt
--
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
+------------------------------------------------------------+
| CALL FOR PAPERS |
| 7th European Lisp Workshop |
| June 21/22, Maribor, Slovenia - co-located with ECOOP 2010 |
+------------------------------------------------------------+
Important Dates
===============
Submission deadline: April 19, 2010
Notification of acceptance: May 05, 2010
ECOOP early registration deadline: May 10, 2010
7th European Lisp Workshop: June 21 or 22, 2010 (tbdl)
Please note that registration must be done with ECOOP itself.
For more information visit http://www.european-lisp-workshop.org
Contact: Didier Verna, didier(a)lrde.epita.fr
Invited Speaker
===============
Manuel Serrano (INRIA, France)
http://www-sop.inria.fr/members/Manuel.Serrano/
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 remains 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):
- Context-, aspect-, domain-oriented and generative programming
- Macro-, reflective-, meta- and/or rule-based development approaches
- Protocol meta-programming and libraries
- New language features and abstractions
- Software evolution
- Development aids
- Persistent systems
- Dynamic optimization
- Implementation techniques
- Hardware Support
- Efficiency, distribution and parallel programming
- Educational approaches and perspectives
- Experience reports and case studies
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 both
to demonstrate and receive feedback on any interesting Lisp system,
either stable or under development. Being less formal than technical
paper presentations, these sessions are expected to 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 and include ACM classification categories and terms (see below).
Authors will later be required to sign an ACM copyright form, as the workshop
proceedings will be published in the ACM Digital Library.
For more information on the submission guidelines and the ACM keywords, see:
http://www.acm.org/sigs/publications/proceedings-templateshttp://www.acm.org/about/class/1998
Submissions should be uploaded to Easy Chair, at the following address:
http://www.easychair.org/conferences/?conf=elw2010
Organizers
==========
Didier Verna, EPITA Research and Development Laboratory, Paris
Charlotte Herzeel, Programming Technology Lab, Vrije Universiteit, Brussel
Robert Strandh, LaBRI, University of Bordeaux 1, France
Christophe Rhodes, Goldsmiths College, University of London
--
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