March 2010 - Annonce

[2nd CfP] 7th European Lisp Workshop at ECOOP'10, June 21/22
by Didier Verna 17 Mar '10

17 Mar '10

+------------------------------------------------------------+ | 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-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=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

1 0

[Lrde] Séminaire Performance et Généricité du LRDE le mercredi 31 mars 2010
by Daniela Becker 15 Mar '10

15 Mar '10

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

1 0

Paper accepted for ELS 2010
by Didier Verna 09 Mar '10

09 Mar '10

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

1 0

Paper accepted for TUG 2010
by Didier Verna 09 Mar '10

09 Mar '10

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

1 0