- Annonce

[Séminaire des étudiants CSI] : mercredi 2 juillet 2008
by Daniela Becker 30 Jun '08

30 Jun '08

Bonjour, Vous êtes tous cordialement invités à assister au séminaire qui aura lieu le mercredi 2 juillet 2008 à 14 heures en Amphi 4 (KB). ----------------------------------------------------------------------- Le programme : *Olena, Vérification du Locuteur et Spot* http://publis.lrde.epita.fr/Seminar-2008-07-02 OLENA 14h00 : Cartes de distances -- Etienne Folio 14h30 : Les types de couleur dans Milena -- Caroline Vigouroux VÉRIFICATION DU LOCUTEUR 15h00 : Système de discriminants linéaires pour la vérification du locuteur -- Antoine Legrand SPOT 15h45 : Traduction d’une LTL étendue en TGBA dans Spot -- Damien Lefortier 16h15 : Front-end Promela dans Spot -- Guillaume Sadegh ----------------------------------------------------------------------- Les Résumés des exposés : ************************** OLENA Cartes de distances -- Etienne Folio Une carte de distances est une représentation sous forme d’image d’une fonction distance à un objet. Ces cartes sont utilisées dans de nombreuses applications, en particulier en analyse d’images de documents qui nous serviront d’illustration. Certaines méthodes de calcul de cartes moins génériques que d’autres peuvent s’avérer plus rapides : par exemple, des cartes calculées par propagation de fronts permettent de déterminer des plus courts chemins mais ne fonctionnent que lorsque le support est connu pour être non-convexe. Cette présentation fait un tour d’horizon des différents algorithmes de calculs de cartes de distances, met en évidence leurs atouts et faiblesses et explique les choix retenus. Les types de couleur dans Milena -- Caroline Vigouroux Le projet Olena fournit une bibliothèque générique pour le traitement d’images, Milena. Nous voulons que cette bibliothèque procure de nombreux types de valeur tels que l’utilisateur puisse toujours choisir le type adapté pour son application. Par exemple, nous fournissons de nombreux encodages en niveau de gris, de nombreux espaces de couleur, etc. Nous présentons la manière dont nous mettons en oeuvre les types de couleurs dans Milena. Il existe différents espaces de couleur (RGB, HSI, et bien d’autres) et il existe plusieurs encodages possibles pour les mêmes espaces de couleur (rgb_3x8, rgb_f, etc.). Nous voulons rendre les choses plus faciles pour l’utilisateur. Donc, notre objectif est de rendre possible l’utilisation des espaces de couleur sans se soucier des mécanismes internes. Par exemple, dans les formules de conversion, on ne veut pas faire apparaître les détails d’implémentation (division par 255). VÉRIFICATION DU LOCUTEUR Système de discriminants linéaires pour la vérification du locuteur -- Antoine Legrand Dans la reconnaissance du locuteur, les modèles GMM occupent une place très importante dans le développement des systèmes performants. Les méthodes de discrimination linéaire à base de SVM donnent actuellement de meilleurs résultats. On s’intéressera ici à un système de discriminant linéaire (le SVM-GLDS). Celui-ci utilise directement, sans passer par un modèle GMM, des statistiques issues de l’ensemble des paramètres de la parole pour définir le modèle de reconnaissance. On évaluera les performances d’un tel système sur la base de données NIST-SRE en le comparant avec les autres systèmes à base de SVM-GMM. SPOT Traduction d’une LTL étendue en TGBA dans Spot -- Damien Lefortier Spot repose sur l’approche automate du model checking. La bibliothèque permet de vérifier des propriétés exprimées en logique temporelle à temps linéaire (LTL) sur une modélisation d’un système représentée par un automate de Büchi généralisé basé sur les transitions (TGBA). Spot propose actuellement deux algorithmes de traduction de LTL en TGBA, une des deux étapes principales de l’approche automate. Nous présentons une nouvelle traduction en TGBA d’une logique LTL qui a été étendue en y ajoutant des opérateurs représentés par des automates finis. Cette traduction permet à Spot de vérifier des propriétés qui n’étaient pas exprimables auparavant. Front-end Promela dans Spot -- Guillaume Sadegh Spot est une bibliothèque de model checking. Pour vérifier des modèles, Spot utilise un format d’entrée représentant des automates de Büchi généralisés basés sur les transitions (TGBA). Ce format est peu pratique pour des utilisateurs, par son manque d’abstraction et par la taille des automates à représenter, souvent composés de millions d’états. Promela (Process Meta- Language) est un langage de spécification de systèmes asynchrones, utilisé par le model checker Spin. Il permet de représenter des systèmes concurrents dans un langage impératif de haut niveau. Nous allons présenter plusieurs approches pour l’ajout d’un front-end Promela dans Spot, qui devront permettre une exploration à la volée du graphe d’états, afin d’éviter de conserver en mémoire tous les états. -- Daniela Becker

1 0

[ELW'08] Important news
by Didier Verna 23 Jun '08

23 Jun '08

Hello, here are some important news on the 5th European Lisp Workshop, July 7, Pahpos, Cyprus, co-located with ECOOP 2008: * The paper selection process is over; the final programme will be available shortly. Stay tuned for the upcoming call for participation! * We now have the abstracts for the two keynote presentations: Lisp for the 21st Century (Mark Tarver) As Lisp reaches its 50th anniversary, the talk looks at some of the reasons why Lisp has not found a wider acceptance amongst the programming community. Part of the reasons lie in a vicious cycle between education and industry within which Lisp is trapped. One solution is the L21 project - to produce a rationalized and revised update of Lisp for the C21. Qi fits many of the constraints of the L21 project. The talk concludes on what needs to be done within Qi and the Lisp world to bring Lisp to the center stage. A Detailed Look at the Lisp Nature of Clojure (Rich Hickey) The small essential core of Lisp makes dialects easy to define and implement. Most dialects are viewed skeptically by the community, as their features can be realized via the extensibility mechanisms of Scheme or Common Lisp. However, functional programming, interoperability, extensibility and concurrency objectives call for different decisions at many Lisp design points. Meeting those objectives in a Lisp dialect testifies to the continued vitality of the Lisp idea. This talk will provide a rationale for Clojure as a substantive and unique dialect of Lisp, and details of its design and implementation on the JVM. * Courtesy of EPITA, the workshop will have printed proceedings. A PDF version will also be made available on the website after the event. * Finally, please note that the official ELW website, http://elw.bknr.net, now contains an archive of all past occurrences of the workshop. -- 5th European Lisp Workshop at ECOOP 2008, July 7: http://elw.bknr.net/2008/ Didier Verna, didier(a)lrde.epita.fr, http://www.lrde.epita.fr/~didier EPITA / LRDE, 14-16 rue Voltaire Tel.+33 (0)1 44 08 01 85 94276 Le Kremlin-Bicêtre, France Fax.+33 (0)1 53 14 59 22 didier(a)xemacs.org

1 0

[Séminaire des étudiants CSI] : mercredi 25 juin 2008
by Daniela Becker 19 Jun '08

19 Jun '08

Bonjour, Vous êtes tous cordialement invités à assister au séminaire qui aura lieu le mercredi 25 juin 2008 à 14 heures en Amphi 4 (KB). Veuillez noter qu'après les étudiants, Sébastien Hémon présentera entre 16h45 et 17h45 l'article "Equilibres de Nash approchés dans les jeux multi-joueurs" de Sébastien Hémon, Miklos Santha and Michel de Rougemont présenté à SAGT 08 en mai 2008. http://www.lrde.epita.fr/cgi-bin/twiki/view/Publications/2008-01-18-SAGT ----------------------------------------------------------------------- Le programme du séminaire : *Olena et Théorie des Jeux* http://www.lrde.epita.fr/cgi-bin/twiki/view/Publications/Seminar-2008-06-25 OLENA 14h00 : Ligne de partage des eaux topologique -- Alexandre Abraham 14h30 : Taxonomie des images de Milena -- Nicolas Ballas 15h00 : Transformation des courbes de niveau rapide -- Matthieu Garrigues 15h30 : Recalage d'image rapide -- Ugo Jardonnet THEORIE DES JEUX 16h15 : Etude et implémentation du Fictitious Play alterné -- Antoine Leblanc 16h45 : Equilibres de Nash approchés dans les jeux multi-joueurs -- Sebastien Hemon et al. ----------------------------------------------------------------------- Les Résumés des exposés : ************************** OLENA Ligne de partage des eaux topologique -- Alexandre Abraham Segmenter une image consiste à en extraire les régions d’intérêt, par exemple pour séparer des cellules cancéreuses en imagerie médicale. L’approche par transformation de la ligne de partage des eaux (LPE) ou Watershed Transform permet d’obtenir une telle segmentation. Il en existe de nombreuses définitions, ainsi que diverses implémentations, dont certaines sont à la fois performantes et produisent un résultat avec de bonnes propriétés, comme le Topological Watershed. Cet exposé présentera l’implémentation d’un algorithme calculant cette LPE au sein de Milena, la bibliothèque C++ générique de traitement d’images de la plate-forme Olena, développée au LRDE. Nous nous intéresserons tout d’abord aux formats d’images “classiques”, puis à la généralisation à des formats d’images plus inhabituels (images à support de graphe généraux, etc.). Taxonomie des images de Milena -- Nicolas Ballas Milena est la bibliothèque de traitement d’images générique de la plate-forme Olena. Cette bibliothèque a pour but d’être performante tout en restant simple. L’introduction dans Milena de nouveaux types d’images basés sur des graphes a mis en évidence des problèmes de modélisation qui sont un frein pour sa généricité. Par exemple, nous avons toujours considéré que "les images ont des points". Néanmoins, certains types d’images possèdent des sites qui ne sont pas des points (mais des arrêtes, faces, ou même des ensembles de points). Une autre supposition erronée était de considérer que les sites étaient toujours localisés par un vecteur (càd, (x,y) dans le plan 2D). Cette supposition est fausse lorsque l’on manipule des sites qui ne sont pas "Pointwise". Il etait donc nécessaire de modifier les types d’images utilisés dans Milena et les propriétées qui leur sont associées. Pendant ce séminaire, nous présenterons une nouvelle classification d’images permettant de résoudre ces problèmes. Transformation des courbes de niveau rapide -- Matthieu Garrigues La transformation rapide des courbes de niveaux (FLLT) construit une représentation d’une image indépendante du contraste. Cet algorithme construit un arbre suivant les inclusions des formes. Pour un filtre, être invariant suivant le contraste est un plus. Par exemple, en analyse de document, cette représentation a le précieux avantage d’extraire facilement et rapidement les caractères indépendamment du fait qu’ils soient plus clairs ou plus foncés que leur voisinage. Ce document présente l’introduction de l’algorithme dans notre bibliothèque de traitement d’images et montre les résultats de quelques filtres connectés que peut engendrer cette représentation. Recalage d'image rapide -- Ugo Jardonnet Le recalage d’images est une technique classique en traitement d’images. Soit A et B deux images représentant le même objet (par exemple une radiographie et une image à résonance magnétique (IRM)), on calcule une transformation deAtelle que le recalage de l’objet dans A soit aligné sur l’objet dans B. Typiquement, cette technique peut permettre la lecture simultanée de deux mesures A et B. Cet exposé discutera des procédés de recalage rapide utilisés dans Milena, la bibliothèque C++ générique de traitement d’images de la plate-forme Olena, développée au LRDE. Certaines améliorations seront présentées. THEORIE DES JEUX Etude et implémentation du Fictitious Play alterné -- Antoine Leblanc Le calcul d’un équilibre de Nash dans un jeu fini est un problème démontré PPAD-complet, ce qui signifie qu’il paraît impossible de trouver une méthode de calcul efficace ; la complexité en pire cas des algorithmes usuels est 2O(n) pour un jeu de taille n. La recherche en ce domaine s’oriente donc vers le calcul d’équilibres approchés, à savoir des situations vérifiant les conditions d’un équilibre de Nash à ! près. L’algorithme du Fictitious Play s’inscrit dans cette démarche de recherche. Son principe est simple : à chaque itération, chacun des joueurs “renforce” celle de ses stratégies pures qui est la plus efficace face à ses adversaires. Pour certains jeux, cet algorithme converge vers un équilibre de Nash, fournissant ainsi un algorithme d’approximation efficace. La convergence ne peut toutefois être prouvée que pour un nombre limité de cas. Pour cette raison, il est intéressant d’étudier d’autres algorithmes basés sur le Fictitious Play, afin de trouver d’autres cas de convergence. Nous allons étudier ici le Fictitious Play alterné, dans lequel seul le joueur le plus “éloigné” de son gain optimal renforce sa stratégie la plus efficace. Equilibres de Nash approchés dans les jeux multi-joueurs -- Sebastien Hemon et al. Les équilibres de Nash sont des positions-clés de tout jeu admettant une représentation finie : en effet, quel que soit le nombre de joueurs et de stratégies, une telle position existe toujours. Lorsqu’elle est atteinte, elle dissuade tout joueur de vouloir se détourner de sa stratégie actuelle, d’où la notion d’équilibre. De nombreux problèmes y font appel mais calculer de façon effective l’équilibre demeure un problème difficile. En effet, le meilleur algorithme connu pour, dans le cas général, calculer un équilibre est exponentiel en le nombre de stratégies. Nous présenterons ici la notion d’équilibres approchés, et donnerons des résultats concernant leur calcul. Nous montrerons qu’il ne saurait exister d’algorithmes pouvant calculer un équilibre, même approché, sans utiliser au moins, pour un joueur, un nombre logarithmique de stratégies. Nous montrerons comment calculer un équilibre approché en temps sub-exponentiel nO( ln n 2 ), ce qui demeure actuellement, pour le cas général, la meilleure complexité en pire cas. Enfin, nous présenterons une approche inductive de transfert d’approximation d’une position d’un jeu à deux joueurs en une approximation pour un jeu à r joueurs, ce qui confère des résultats novateurs dans le domaine. -- Daniela Becker

1 0

[Séminaire CSI] : mercredi 18 juin 2008
by Daniela Becker 12 Jun '08

12 Jun '08

Bonjour, Vous êtes tous cordialement invités à assister au séminaire qui aura lieu le mercredi 18 juin 2008 à 14 heures en Amphi 1 (KB). ----------------------------------------------------------------------- Le programme : *Transformers & Vaucanson* http://www.lrde.epita.fr/cgi-bin/twiki/view/Publications/Seminar-2008-06-18 TRANSFORMERS 14h00 : SCOOL : Programmation générique et concepts -- Maxime Van Noppen 14h30 : Découpage de programme C++ avec Transformers -- Florian Quèze VAUCANSON 15h15 : Parser d’expressions rationnelles -- Vivien Delmon 15h45 : FSMXML et son utilisation dans Vaucanson -- Florian Lesaint 16h15 : Booster les itérateurs de Vaucanson -- Jimmy Ma ----------------------------------------------------------------------- Les Résumés des exposés : ************************** TRANSFORMERS SCOOL : Programmation générique et concepts -- Maxime Van Noppen SCOOL est un langage statique orienté objet qui a été créé afin de pouvoir utiliser toute la puissance du C++ statique de manière plus aisée grâce à une syntaxe plus expressive et agréable. Il n’a pas pour but d’être directement compilé mais d’être traduit en C++. Cette année le travail revêt une importance particulière. En effet, SCOOL est développé en étroite collaboration avec l’équipe de développement de la bibliothèque de traitement d’images MILENA de la plate-forme OLENA ; l’an passé a été pour elle le cadre de grands changements internes. Un des axes majeurs du développement de SCOOL va donc être de s’adapter aux nouveaux paradigmes et aux nouveaux besoins de la bibliothèque. Le second axe essentiel de travail est la poursuite du développement du langage. Cette année le travail va être concentré sur la programmation par concepts qui est une approche permettant de formaliser facilement des contraintes sur la programmation générique. Découpage de programme C++ avec Transformers -- Florian Quèze Transformers est un ensemble d’outils basés sur les technologies Stratego/XT permettant la manipulation de programmes C++. Le découpage de programmes est un domaine important de la transformation de programmes. Nous allons expliquer ce qu’est le découpage de programmes, donner un aperçu rapide de ses différents aspects et montrer comment Transformers pourrait être utilisé comme un outil permettant le découpage de programmes. VAUCANSON Parser d’expressions rationnelles -- Vivien Delmon La bibliothèque Vaucanson permet de manipuler des automates et des transducteurs. Le parser d’expression rationnelles doit donc lui aussi traiter ces différentes structures. Malheureusement l’ancien parser ne permettait pas de lire des expressions rationnelles décrivant des transducteurs ou même des automates à poids autres que des nombres. Le nouveau parser permet de lire des expressions rationnelles contenant des poids de toutes sortes et des alphabets définis sur des produits de monoïdes. Ces différentes améliorations permettent d’interpréter des expressions rationnelles complexes représentant entre autres des transducteurs. FSMXML et son utilisation dans Vaucanson -- Florian Lesaint Nous avions commencé l’année dernière à travailler sur une nouvelle proposition de format XML de description d’automates, devenu FSMXML. Nous présentons cette année une version aboutie de ce travail sous forme de rfc. FSMXML comprend notamment une gestion complète des expressions rationnelles généralisées, il permet de décrire n’importe quel type d’automate et sa gestion est facilitée. Nous avons repensé la structure du parseur XML de VAUCANSON pour s’affranchir d’une mauvaise gestion de dépendances et l’avons mise à jour conformément à la rfc. Booster les itérateurs de Vaucanson -- Jimmy Ma Vaucanson est une bibliothèque générique de manipulation d’automates. Le coeur de sa généricité réside dans le support de types d’automates variés mais aussi sa capacité à s’appuyer sur différentes structures de données. Actuellement, nous avons différentes manières de manipuler des transitions. Cependant, aucune d’entre elles n’est réellement indépendante de la structure de données utilisée. Afin de pallier cela, nous allons nous tourner vers le design pattern Iterator. Nous évaluerons l’impact de ce design pattern sur les performances et sur l’utilisation de la bibliothèque en termes d’écriture d’algorithmes. -- Daniela Becker

1 0

L'air de rien 14
by Daniela Becker 29 May '08

29 May '08

Bonjour, nous avons le plaisir de vous présenter le n°14 du bulletin du LRDE. C'est un numéro spécial consacré aux quatre sessions du séminaire CSI en juin et juillet 2008 avec les résumés de toutes les présentations. Les étudiants des promos 2009 et 2010 y présenteront leur travail. Dates de séminaire à retenir : les 18 et 25 juin, puis les 2 et 9 juillet 2008. Vous pouvez télécharger le bulletin en couleur à la page suivante : http://publis.lrde.epita.fr/200805-l-air-de-rien-14 -- Daniela Becker

1 0

[ELW'08] Breaking News: 2 keynote speakers
by Didier Verna 28 May '08

28 May '08

Dear colleagues, I'm very happy to announce that the 5th European Lisp Workshop, co-located with ECOOP in Paphos, Cyprus, on July 7th 2008 will feature two keynote presentations: - "Lisp for the 21st Century", by Mark Tarver See http://www.lambdassociates.org - "A Detailed Look at the Lisp Nature of Clojure", by Rich Hickey See http://clojure.sourceforge.net Mark Tarver's coming would not have been possible without the help of our sponsors: LispWorks Ltd, Franz Inc and the Association of Lisp Users. Please pay them a visit as well! http://www.lispworks.com/ http://www.franz.com/ http://www.alu.org/ And remember to register to ECOOP before June 1st, the early registration deadline... Hope to see you in Paphos! -- 5th European Lisp Workshop at ECOOP 2008, July 7: http://elw.bknr.net/2008/ Didier Verna, didier(a)lrde.epita.fr, http://www.lrde.epita.fr/~didier EPITA / LRDE, 14-16 rue Voltaire Tel.+33 (0)1 44 08 01 85 94276 Le Kremlin-Bicêtre, France Fax.+33 (0)1 53 14 59 22 didier(a)xemacs.org

1 0

Publication: MPOOL 2008: Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2)
by Roland Levillain 26 May '08

26 May '08

We are happy to announce that the following paper has been accepted for publication at the 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL 2008) that will take place at Paphos, Cyprus, on July 7, 2008: Thierry Géraud and Roland Levillain Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2) http://publis.lrde.epita.fr/200806-ITICSE Classical (unbounded) genericity in C++03 defines the interactions between generic data types and algorithms in terms of concepts. Concepts define the requirements over a type (or a parameter) by expressing constraints on its methods and dependent types (typedefs). The upcoming C++0x standard will promote concepts from abstract entities (not directly enforced by the tools) to language constructs, enabling compilers and tools to perform additional checks on generic constructs as well as enabling new features (e.g., concept-based overloading). Most modern languages support this notion of signature on generic types. However, generic types built on other types and relying on concepts to both ensure type conformance and drive code specialization, restrain the interface and the implementation of the newly created type: specific methods and associated types not mentioned in the concept will not be part of the new type. The paradigm of concept-based genericity lacks the required semantics to transform types while retaining or adapting their intrinsic capabilities. We present a new form of semantically-enriched genericity allowing static generic type transformations through a simple form of type introspection based on type metadata called properties. This approach relies on a new Static C++ Object-Oriented Programming (SCOOP) paradigm, and is adapted to the creation of generic and efficient libraries, especially in the field of scientific computing. Our proposal uses a metaprogramming facility built into a C++ library called Static, and doesn't require any language extension nor additional processing (preprocessor, transformation tool).

1 1

Séminaire Performance et Généricité du LRDE le 28 Mai 2008
by Didier Verna 20 May '08

20 May '08

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 28 Mai 2008. Au programme: * 14h: Le language BSML Frédéric Gava, LACL, Université de Paris Est, Créteil * 15h15: Programmation parallèle certifiée Frédéric Loulergue, LIFO, Université d'Orléans L'entrée du séminaire est libre. Pour plus de renseignements, consultez http://seminaire.lrde.epita.fr/. Merci de bien vouloir diffuser cette information le plus largement possible. Prochaine séance: mercredi 24 Septembre 2008 avec Gaétan Hains et Joël Falcou. -- Didier Verna, didier(a)lrde.epita.fr, http://www.lrde.epita.fr/~didier EPITA / LRDE, 14-16 rue Voltaire Tel.+33 (0)1 44 08 01 85 94276 Le Kremlin-Bicêtre, France Fax.+33 (0)1 53 14 59 22 didier(a)xemacs.org

1 0

Séminaire Performance et Généricité du LRDE le 30 Avril 2008
by Didier Verna 21 Apr '08

21 Apr '08

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 30 Avril 2008. Au programme: * 14h: High-Level Abstractions and Optimization Anya Helene Bagge, Institutt for Informatikk, Universitetet i Bergen, Norway * 15h15: Mouldable Programming Magne Haveraaen, Institutt for Informatikk, Universitetet i Bergen, Norway L'entrée du séminaire est libre. Pour plus de renseignements, consultez http://seminaire.lrde.epita.fr/. Merci de bien vouloir diffuser cette information le plus largement possible. Prochaines séances: Mercredi 28 Mai 2008, 14h, amphi 4 * Frédéric Gava, LACL, Université de Paris Est, Créteil * Frédéric Loulergue, LIFO, Université d'Orléans Mercredi 30 Septembre 2008, 14h * Gaétan Hains, LACL, Université de Paris Est, Créteil * Joël Falcou, IEF, Université de Paris-Sud, Orsay -- 5th European Lisp Workshop at ECOOP 2008, July 7: http://elw.bknr.net/2008/ Didier Verna, didier(a)lrde.epita.fr, http://www.lrde.epita.fr/~didier EPITA / LRDE, 14-16 rue Voltaire Tel.+33 (0)1 44 08 01 85 94276 Le Kremlin-Bicêtre, France Fax.+33 (0)1 53 14 59 22 didier(a)xemacs.org

1 0

Reminder: [CFP] 5th European Lisp Workshop, July 7 2008, Cyprus
by Didier Verna 16 Apr '08

16 Apr '08

+------------------------------------------------------------+ | CALL FOR PAPERS | | 5th European Lisp Workshop | | July 7, Paphos, Cyprus - co-located with ECOOP 2008 | +------------------------------------------------------------+ Important Dates: **************** Submission deadline (papers & breakout groups): May 04, 2008 Notification of acceptance: May 19, 2008 ECOOP early registration deadline: June 01, 2008 5th European Lisp Workshop: July 07, 2008 For more information visit http://elw.bknr.net/2008/ Contact: Didier Verna, didier(a)lrde.epita.fr Organizers ********** Didier Verna, EPITA Research and Development Laboratory, Paris Christophe Rhodes, Goldsmiths College, University of London Charlotte Herzeel, Programming Technology Lab, Vrije Universiteit, Brussel Hans Hübner, Software Developer, Berlin Overview ******** "...Please don't assume Lisp is only useful for Animation and Graphics, AI, Bioinformatics, 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 is one of the oldest computer languages still in use today. In the decades of its existence, Lisp has been a fruitful basis for language design experiments as well as the preferred implementation language for applications in diverse fields. The structure of Lisp makes it easy to extend the language or even to implement entirely new dialects without starting from scratch. 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. It is clear that Lisp is gaining momentum: there is a steadily growing interest in Lisp itself, with numerous user groups in existence worldwide, and in Lisp's metaprogramming notions which are being transferred to other languages, as for example in Aspect-Oriented Programming, support for Domain-Specific Languages, and so on. This workshop will address the near-future role of Lisp-based languages in research, industry and education. We solicit papers and suggestions for breakout groups 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 formally-presented talks, and breakout groups discussing or working on particular topics. Additionally, there will be opportunities for short, informal talks and demonstrations on experience reports, underappreciated results, software under development, or other topics of interest. Papers ****** Formal presentations in the workshop should take between 20 minutes and half an hour; additional time will be given for questions and answers. We encourage that papers be published on the website, to provide all participants with background information in advance. Suggested Topics: - New language features or abstractions - Experience reports or case studies - Protocol Metaprogramming and Libraries - Educational approaches - Software Evolution - Development Aids - Persistent Systems - Dynamic Optimization - Implementation techniques - Innovative Applications - Hardware Support for Lisp systems - Macro-, reflective-, meta- and/or rule-based development approaches - Aspect-Oriented, Domain-Oriented and Generative Programming Breakout Groups *************** The workshop will provide for the opportunity to meet face to face and work on focused topics. We will organize these breakout groups and provide for rooms and infrastructure. Suggested Topics for Breakout Groups: - Lisp Infrastructure Development and Distribution - Language Features (e.g. Predicate Dispatching) - Environments for creating web applications - Brainstorming sessions for new or existing open source projects - Persistence Systems - Compiler technology - Lisp on bare metal / Lisp hardware / Lisp operating systems - Compare and enhance curricula for computer science education Submission Guidelines ********************* Potential attendees are encouraged to submit: - a long paper (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 a breakout group (1-2 pages) describing the theme, an agenda and/or expected results. Submissions should be mailed as PDF to Didier Verna (didier(a)lrde.epita.fr) before the submission deadline. -- Didier Verna, didier(a)lrde.epita.fr, http://www.lrde.epita.fr/~didier EPITA / LRDE, 14-16 rue Voltaire Tel.+33 (0)1 44 08 01 85 94276 Le Kremlin-Bicêtre, France Fax.+33 (0)1 53 14 59 22 didier(a)xemacs.org

1 0