+------------------------------------------------------------+
| CALL FOR PAPERS |
| 6th European Lisp Workshop |
| July 6, Genova, Italy - co-located with ECOOP 2009 |
+------------------------------------------------------------+
Important Dates
===============
Submission deadline: April 08, 2009
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.
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
--
Didier Verna <didier(a)lrde.epita.fr>
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
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) a lieu demain
Mercredi 25 février 2009 (14h-17h).
Au programme:
* 14h: Mise en oeuvre et application des extensions de langages
-- Patrick Viry, Ateji www.ateji.com
Je présenterai sur la base d'une démo une application des
extensions de
langages, à savoir une extension Java pour l'optimisation. Cet
exemple
montre la mise en oeuvre concrète dans Eclipse, les gains de
productivité et de qualité obtenus par rapport aux approches
classiques
Java+DSL, la différence entre cette approche et un générateur de
code ou
un préprocesseur. Il montre également une utilisation originale d'un
compilateur: la génération automatique d'interface graphique.
Je parlerai aussi des futurs projets d'Ateji dans le domaine des
extensions de langage.
Patrick Viry a obtenu un doctorat d'informatique à l'INRIA-
Lorraine en
1992. Il a poursuivi une carrière de chercheur à l'Université de
Kyoto,
sur deux thèmes principaux: les modèles théoriques du parallélisme
et
les outils de développement de type éditeur syntaxique. Il a rejoint
l'industrie en 1999, d'abord dans une société japonaise réalisant
des
contrats pour le MITI, puis en tant qu'architecte du langage OPL
chez
Ilog. Il a fondé Ateji en 2005 pour développer et commercialiser des
technologies innovantes dans le domaine des langages et des outils
de
programmation.
* 15h30: Programmation par règles : application à la transformation
d'arbres en Java
-- Pierre-Étienne Moreau - INRIA Nancy - Grand Est http://
tom.loria.fr
Dans cet exposé je présenterai un outil, appelé Tom, qui permet de
simplifier la programmation d'outils de manipulation et de
transformation de structures arborescentes, telles que les AST
(Abstract
Syntax Trees) ou les documents XML par exemple. Tom est un langage
de
programmation qui ajoute à Java des constructions inspirées du
calcul de
réécriture et des langages à base de règles. On peut, de manière
approximative, voir Tom comme une intégration d'un sous-ensemble
de Caml
dans Java.
Le langage repose sur trois notions fondamentales :
(i) les termes, qui sont un modèle universel permettant de décrire
des
structures arborescentes, et en particulier les notions de
programmes et
de preuves.
(ii) les règles, qui permettent de décrire de manière expressive des
transformations.
(iii) les stratégies, qui permettent de contrôler l'application des
règles.
La séparation transformation-contrôle est un point essentiel
permettant
de rendre les règles indépendantes de leur contexte d'utilisation,
facilitant ainsi leur écriture, leur réutilisation et
l'établissement de
propriétés.
Le Langage Tom est parfaitement adapté à la réalisation d'outils de
transformation et de prouveurs. Son intégration dans Java rend son
utilisation facile, aussi bien dans le milieu académique que dans le
milieu industriel.
Pierre-Étienne Moreau est Chargé de Recherche à l'INRIA Nancy-
Grand Est,
responsable de l'équipe Pareo. Il s'intéresse au développement
d'outils
et de langages permettant de développer plus rapidement des
applications
complexes et ceci de manière plus sûre. Dans ce cadre, il a
développé au
cours de sa thèse le compilateur du langage ELAN. Depuis 2001, il
coordonne le développement de l'environnement Tom, qui permet
d'intégrer
et d'utiliser les notions de réécriture, de stratégie, de filtrage
équationnel dans un environnement de programmation Java. Les
principales
applications à ce jour sont la réalisation de compilateurs, d'outils
d'analyse et de transformation de programmes, ainsi que des
prouveurs
automatiques.
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.
