Annonce

annonce@lrde.epita.fr

1 participants
563 discussions

Séminaire Performance et Généricité du LRDE du Mercredi 25 février 2009

by Akim Demaille

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.

15 years, 10 months

The LRDE and EPITA take part in the organization of the ITiCSE 2009 conference

by Roland Levillain

Dear colleagues, The 14th ACM[1]-SIGCSE[2] Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE 2009) [3] will take place in Paris, on July 3-8, 2009. The conference is hosted by the Université Pierre et Marie Curie (Paris 6, France) [4], and organized by Patrick Brézillon, from the LIP6 [5]. Roland Levillain, Associate-Professor at the EPITA Research and Development Laboratory (LRDE) is member of the organizing committee and administrator of the Web site of the conference (http://iticse09.lrde.org), hosted by the LRDE. Chers collègues, La 14e conférence annuelle ACM[1]-SIGCSE[2] sur l'innovation et les technologies dans l'enseignement de l'informatique (14th ACM-SIGCSE Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE 2009) [3] aura lieu à Paris du 3 au 8 juillet 2009. La conférence est hébergée par l'Université Pierre et Marie Curie (Paris 6, France) [4] et organisée par Patrick Brézillon, du LIP6 [5]. Roland Levillain, enseignant-chercheur au Laboratoire de Recherche et Développement de l'EPITA (LRDE) est membre du comité d'organisation et administrateur du site Web de la conférence (http://iticse09.lrde.org), hébergée au LRDE. Notes: [1] http://www.acm.org/ [2] http://www.sigcse.org/ [3] http://iticse09.lrde.org/ [4] http://www.upmc.fr/ [5] http://www.lip6.fr/ -- Roland Levillain - LRDE/EPITA - A3SI/ESIEE/IGM/UMLV-Paris Est EPITA Research and Development Laboratory (LRDE) 14-16, rue Voltaire - F-94276 Le Kremlin-Bicêtre Cedex - France Phone: +33 1 53 14 59 45 - Fax: +33 1 53 14 59 22 - www.lrde.epita.fr

15 years, 10 months

Séminaire Performance et Généricité du LRDE le Mercredi 11 février 2009

by Akim Demaille

The following message is a courtesy copy of an article that has been posted to lrde.annonce,epita.adm.adm,epita.adm,iit.adm,fr.comp.developpement,fr.comp.lang.c++,fr.comp.lang.general,fr.comp.objet as well. 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) initialement prévue pour le 28 janvier est déplacée au Mercredi 11 février 2009 (14h-17h). Au programme: * 14h: Programmer en JoCaml -- Luc Maranget, Inria http://pauillac.inria.fr/~maranget/ JoCaml est une extension d'Objective Caml pour la programmation concurrente et distribuée, inspirée par le join-calcul. Nous avons récemment publié une nouvelle version de JoCaml, dont la compatibilité avec OCaml est meilleure que celle de la version initiale de F. Le Fessant. La nouvelle version pourra facilement être mise à jour au rythme d'OCaml et est binaire-compatible avec OCaml. L'exposé s'attachera plus au langage JoCaml qu'au système JoCaml. Il montrera comment, à partir d'un programme potentiellement parallélisable écrit en OCaml (le ray tracer du concours ICFP 2001), on peut facilement produire un programme distribué, dans le cas abordé, très efficace. Ce sera l'occasion d'aborder la programmation en JoCaml de la coordination de multiples agents coopérants, d'une manière simple et concise dans l'esprit de la programmation fonctionnelle. JoCaml est disponible en http://jocaml.inria.fr/. Luc Maranget est chargé de recherche à l'Inria Rocquencourt. Il est spécialiste de la conception et de l'implémentation des langages de programmation, fonctionnels puis concurrents. À cet égard, il est l'auteur du compilateur de filtrage d'Objective Caml et plus récemment de la nouvelle version de JoCaml. * 15h15: ReactiveML : une extension d'OCaml pour la programmation de systèmes réactifs synchrones -- Louis Mandel, Université Paris-Sud 11 -- LRI http://www.lri.fr/~mandel ReactiveML est une extension d'OCaml basée sur le modèle réactif synchrone introduit par F. Boussinot au début des années 90. Il permet la programmation de systèmes tels que les jeux vidéo ou les simulateurs. Dans cet exposé, je présenterai ReactiveML à travers l'utilisation et la programmation de rmltop, le pendant ReactiveML du toplevel d'OCaml. Ce toplevel permet au programmeur d'écrire interactivement des programmes ReactiveML qui sont typés, compilés et exécutés à la volée. Toute expression ReactiveML valide peut être chargée dans le toplevel et a la même sémantique et la même efficacité que sa version compilée. Louis Mandel est docteur de l'Université Paris 6. Il a passé un an au laboratoire Verimag de Grenoble et un an à l'INRIA Rocquencourt. Il est actuellement Maître de Conférences à l'Université Paris-Sud 11. Il conçoit et développe ReactiveML. ----------------- 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. ----------------- Vous pouvez dores et déjà noter que la séance suivante aura lieu de Mercredi 25 février 2009, et sera cette fois consacrée à des extensions de Java : * 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. * 15h15: Programmation par règles : application à la transformation d'arbres en Java -- Pierre-Etienne 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 à bases 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-Etienne Moreau, 37 ans, 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 de 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. ----------------- Merci de bien vouloir diffuser cette information le plus largement possible.

15 years, 11 months

New publication at ILC 2009

by Didier Verna

It is my pleasure to announce the acceptance of the following paper to the next International Lisp Conference, to be held at MIT, Cambridge, March 2009. CLOS Efficiency: Instantiation -- on the behavior and performance of Lisp, part 2.1 -- This article reports the results of an ongoing experimental research on the behavior and performance of CLOS, the Common-Lisp Object System. Our purpose is to evaluate the behavior and performance of the 3 most important characteristics of any dynamic Object Oriented system: class instantiation, slot access and dynamic dispatch. This paper describes the results of our experiments on instantiation. We evaluate the efficiency of the instantiation process in both C++ and Lisp under a combination of parameters such as slot types or classes hierarchy. We show that in a non-optimized configuration where safety is given priority on speed, the behavior of C++ and Lisp instantiation can be quite different, which is also the case amongst different Lisp compilers. On the other hand, we demonstrate that when compilation is tuned for speed, instantiation in Lisp becomes faster than in C++. -- 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

15 years, 11 months

[Séminaire des étudiants CSI] : mercredi 14 janvier 2009

by Daniela Becker

Bonjour, après le séminaire de la semaine dernière, consacré aux projets *Vaucanson et Transformers* (voir le programme sur : http://publis.lrde.epita.fr/Seminar-2009-01-07), vous êtes tous cordialement invités à assister au séminaire qui aura lieu le mercredi 7 janvier à 14 heures en Amphi 2 au KB. ----------------------------------------------------------------------- Le programme : *Théorie des Jeux et Olena* http://publis.lrde.epita.fr/Seminar-2009-01-14 THEORIE DES JEUX * 14h00 : Comparaison entre le Fictitious Play et le Fictitious Play Alterné dans le cadre des jeux à somme nulle -- Antoine Leblanc OLENA * 14h30 : Les propriétés dans Milena -- Nicolas Ballas * 15h00 : L’algorithme union-find de Tarjan et les filtres connectés -- Matthieu Garrigues * 15h45 : Reconstruction d'image -- Ugo Jardonnet * 16h15 : Morphologie sur images couleur -- Alexandre Abraham ----------------------------------------------------------------------- Les Résumés des exposés : ************************** THEORIE DES JEUX 14h00 : Comparaison entre le Fictitious Play et le Fictitious Play Alterné dans le cadre des jeux à somme nulle -- Antoine Leblanc L’algorithme du Fictitious Play est un procédé d’apprentissage itéré utilisé dans le cadre de la recherche des équilibres de Nash. 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. L’algorithme du Fictitious Play Alterné (présenté l’année dernière) en est une variante dans lequel seul le joueur le plus “éloigné” de son gain optimal renforce sa stratégie la plus efficace. Cette étude se focalisera sur une comparaison de l’efficacité de ces deux algorithmes dans le cadre des jeux à somme nulle et abordera également les notions de classification des jeux nécessaires à la réalisation de cet objectif. OLENA 14h30 : Les propriétés dans Milena -- Nicolas Ballas Avoir de hautes performances tout en conservant la généricité est un des domaines de recherche prépondérant au sein du LRDE. Milena, la bibliothèque de la plate-forme Olena, confronte ce problème au domaine du traitement d’image. De plus, Milena a aussi pour objectif de rester simple à utiliser. Une solution à ces problèmes, utilisée depuis plusieurs années, repose sur les propriétés. Les propriétés sont un ensemble de caractéristiques associées statiquement à un type particulier. Par exemple, les types d’images de Milena possèdent une propriété speed qui indique les temps d’accès aux valeurs des images. Durant ce séminaire, nous nous intéresserons aux propriétés des types d’images. Nous détaillerons les définitions de ces propriétées. Nous montrerons aussi comment les propriétés aident à améliorer les performances tout en maintenant la généricité. Pour cela, nous prendrons en illustration l’implémentation des routines bas niveau dans la bibliothèque. 15h00 : L’algorithme union-find de Tarjan et les filtres connectés -- Matthieu Garrigues L’algorithme Union-Find de Tarjan (TUFA) produit, à partir d’une image, un arbre représentant des classes d’équivalences dans une image étant donné une relation. Cette représentation peut être utilisée pour définir des filtres. Cette méthode est actuellement utilisée dans Milena, notre bibliothèque de traitement d’image, pour implémenter des filtres connectés comme par exemple l’ouverture et la fermeture d’aire, de volume ou encore de hauteur. Ces filtres sont utilisés pour filtrer une image tout en préservant les contours. Cette propriété est un avantage par rapport à l’ouverture et la fermeture basées sur l’érosion et la dilatation. TUFA peut être utilisé par des algorithmes conservant les domaines disjoints, ce qui est un second avantage intéressant. Ce document présente une méthode pour implémenter une série de nouveaux filtres, notamment autoduaux. 15h45 : Reconstruction d'image -- Ugo Jardonnet Dans le cadre de son partenariat avec l’institut de cancérologie Gustave Roussy, Milena, la bibliothèque de traitement d’image du LRDE, propose une chaîne de traitement dédiée à la reconstruction d’image. Différentes images d’un même objet mais obtenues par différents modes d’acquisitions, sont traitées. Celles-ci sont d’abord simplifiées. On extrait ensuite les objets qu’elles contiennent. La dernière étape consiste à construire une image recoupant les informations des différentes images. Cette chaîne se décrit ainsi en plusieurs étapes : filtrage de l’image, segmentation, binarisation, recalage d’image multimodales et reconstruction d’image. L’exposé se concentrera essentiellement sur l’etape de segmentation. 16h15 : Morphologie sur images couleur -- Alexandre Abraham Les algorithmes morphologiques sont l’un des atouts majeurs de Milena, la bibliothèque de traitement d’image générique et performante développée au LRDE. En effet, ils sont très utiles et relativement peu implémentés dans les autres bibliothèques. Ces algorithmes requièrent des opérateurs de bornes supérieure et inférieure (supremum et infimum) qui n’existent pas par défaut pour des types composites comme les couleurs encodées en rouge-vert-bleu (RVB). Nous présentons donc une implémentation de ces opérateurs pour le type RVB ainsi que toute la chaîne de traitement permettant de faire fonctionner des algorithmes morphologiques sur des images en couleurs. -- Daniela Becker

15 years, 11 months

90' session at ACCU'09

by Didier Verna

It is my pleasure to announce that I will hold a 90 minutes session at the next ACCU conference in Oxford. This session will be part of this year's special track on patterns. The abstract is provided below: Revisiting The Visitor: The 'Just Do It' Pattern A software design pattern is a three-part rule which expresses a relation between a certain context, a problem, and a solution. The well-known "GoF Book" describes 23 software design patterns. Its influence in the software engineering community has been dramatic. However, Peter Norvig notes that "16 of [these] 23 patterns are either invisible or simpler [...]" in Dylan or Lisp (Design Patterns in Dynamic Programming, Object World, 1996). We claim that this is not a consequence of the notion of "pattern" itself, but rather of the way patterns are generally described; the GoF book being typical in this matter. Whereas patterns are supposed to be general and abstract, the GoF book is actually very much oriented towards mainstream object languages such as C++. As a result, most of its 23 "design patterns" are actually closer to "programming patterns", or "idioms", if you choose to adopt the terminology of the POSA Book. In this talk, we would like to envision software design patterns from the point of view of dynamic languages and specifically from the angle of CLOS, the Common Lisp Object System. Taking the Visitor pattern as an illustration, we will show how a generally useful pattern can be blurred into the language, sometimes to the point of complete disappearance. The lesson to be learned is that software design patterns should be used with care, and in particular, will never replace an in-depth knowledge of your preferred language (in our case, the mastering of first-class and generic functions, lexical closures and meta-object protocol). By using patterns blindly, your risk missing the obvious and most of the time simpler solution: the "Just Do It" pattern. -- 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

15 years, 11 months

Séminaire Performance et Généricité du LRDE le Mercredi 28 janvier 2009

by Akim Demaille

16 years

[Olena] Olena 1.0 beta available - Olena 1.0 bêta disponible

by Guillaume Lazzara

The Olena team is proud to announce that snapshots of Olena 1.0 beta are now available. This is a major version of the Olena generic and efficient image processing library developed at the LRDE (http://olena.lrde.epita.fr). This version has been completely rewritten from scratch and is not compatible with the previous version. The current snapshots do not include Swilena yet. More information is available at: http://www.lrde.epita.fr/Olena/Olena100beta Les membres de l'équipe Olena sont fiers de vous annoncer la sortie d'Olena 1.0 en bêta. Il s'agit d'une version majeur d'Olena, la bibliothèque générique et performante de traitement d'image dévelopée au LRDE (http://olena.lrde.epita.fr). Cette version a été entièrement réécrite et n'est pas compatible avec les versions précédentes. Les archives fournies actuellement ne contiennent pas encore Swilena. Pour plus d'informations, consulter : http://www.lrde.epita.fr/Olena/Olena100beta -- Guillaume Lazzara, for the Olena Team. z(a)lrde.epita.fr

16 years

Séminaire Performance et Généricité du LRDE le Mercredi 26 novembre 2008

by Akim Demaille

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 26 novembre 2008 (14h-17h). Au programme: * 14h: Mesure de Performance et Généricité à EDF R&D -- Laurent Plagne ; EDF R&D Clamart. L'outil BTL++ (Benchmark Template Library in C++) développé à EDF R&D se fonde sur la programmation générique et permet de mesurer les performances de noyaux de calcul intensif. Il s'agit d'une bibliothèque générique dont la conception vise à faciliter l'extensibilité par l'utilisateur. Récemment, le lien entre les mesures de performance et la génération automatique de bibliothèques optimales à été étudié pour le domaine de l'algèbre linéaire dense. Quelques mesures de performance de noyaux de calcul à base d'"Expression Template" permettront d'illustrer l'usage de l'outil BTL++. Laurent Plagne received his PhD in physics from the University of Grenoble, France. He is a research engineer at Electricité de France, one of largest electricity utilities in Europe. His research interests include parallel PDE solvers, High Performance Computing through Object Oriented and Generic programming. The management of the ever growing complexity of simulation tools in the industrial context is a recurring topic in his work. He co-authored a versatile library for performance assessment (BTL++) and is the main developer of a block-recursive linear algebra library in C++ (LEGOLAS++). * 15h15: Bibliothèque générique multi-cible d'algèbre linéaire -- Wilfried Kirschenmann, EDF R&D La multiplication des architectures HPC (CPU multi-coeurs, GPU, Cell,..) implique autant de spécialisations des codes de calcul intensif. Dans un contexte industriel, les codes de calcul multi-cibles posent alors des problèmes de maintenance et d'évolutivité importants. La génération automatique des spécialisations est une réponse à ces problématiques. Pour le domaine de l'algèbre linéaire, nous étudions les possibilités offertes par la programmation générique. La mise au point d'une bibliothèque générique multi-cible et performante constitue le sujet de départ d'une thèse dédiée aux méthodes de développement HPC qui minimisent l'adhérence aux machines cibles. Wilfried Kirschenmann est diplômé de l'école supérieure d'électricité. Il a travaillé sur la parallélisation d'un solveur de neutronique sur processeur graphique lors de son stage de fin d'étude à EDF R&D. Il va débuter une thèse sur les méthodes de développement HPC qui minimisent l'adhérence aux machines cibles. 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.

16 years, 1 month

[CFP] 2nd European Lisp Symposium, Milan, May 27-29 2009

by Didier Verna

************************************************************************ * * * 2nd European Lisp Symposium (ELS 2009) * * * * Milan, Italy, May 27-29, 2009 * * Università degli Studi di Milano-Bicocca * * * ************************************************************************ Important Dates: **************** * Submission deadline January 25, 2009 * Author notification February 27, 2009 * Final paper due March 23, 2009 * Symposium May 27-29, 2009 Accepted research papers will be invited for a special issue of the Journal of Universal Computer Science (J.UCS). See the symposium website for more details. Scope: ****** The purpose of the European Lisp Symposium is to provide a forum for the discussion of all aspects of the design, implementation and application of any of the Lisp dialects. We encourage everyone interested in Lisp to participate. The European Lisp Symposium 2009 invites high quality papers about novel research results, insights and lessons learned from practical applications, and educational perspectives, all involving Lisp dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, and so on. Topics include, but are not limited to: * Language design and implementation techniques * Language integration, interoperation and deployment * Language critique and future directions * Reflection and meta-level architectures * Educational approaches * Software adaptation and evolution * Configuration management * Artificial intelligence * Large and ultra-large-scale systems * Development methodologies * Development support and environments * Persistent systems * Scientific computing * Parallel and distributed computing * Data mining * Semantic web * Dynamic optimization * Innovative applications * Hardware and virtual machine support * Domain-oriented programming * Lisp pearls * Experience reports and case studies We also encourage submissions about past approaches that have been largely forgotten about, as long as they are presented in a new setting. We invite submissions in two categories: original contributions and work-in-progress papers. * Original contributions have neither been published previously nor are under review by other refereed events or publications. Research papers should describe work that advances the current state of the art, or presents old results from a new perspective. Experience papers should be of broad interest and should describe insights gained from substantive practical applications. The program committee will evaluate each contributed paper based on its relevance, significance, clarity, and originality. * Work in progress describes ongoing work that is not ready for publication yet, but would benefit strongly from feedback by other researchers, practitioners and educators. Such contributions will not be published in the symposium proceedings, but will be made available at the symposium website. The work-in-progress track will be organized as a series of writers' workshops where authors work together to improve their papers. Some authors who submit papers for the main track will be suggested to contribute their work in this track instead, if the program committee decides that their submission is not yet ready for a publication. The writers' workshops will take place at the symposium in Milan on May 27, 2008. Program Chair: ************** * António Leitão, Technical University of Lisbon, Portugal Local Chair: ************ * Marco Antoniotti, Università Milano Bicocca, Italy Program committee: ****************** * Giuseppe Attardi, Università di Pisa , Italy * Pascal Costanza, Vrije Universiteit Brussel, Belgium * Irene Durand, Université Bordeaux 1, France * Marc Feeley, Université de Montréal, Canada * Ron Garret, Amalgamated Widgets Unlimited, USA * Gregor Kiczales, University of British Columbia, Canada * Scott McKay, ITA Software, Inc., USA * Peter Norvig, Google Inc., USA * Julian Padget, University of Bath, UK * Kent Pitman, PTC, USA * Christian Queinnec, Université Pierre et Marie Curie, France * Christophe Rhodes, Goldsmiths College, University of London, UK * Robert Strandh, Université Bordeaux 1, France * Mark Tarver, Lambda Associates, UK * Didier Verna, EPITA Research and Development Laboratory, France * JonL White, TheGingerIceCreamFactory of Palo Alto, USA * Taiichi Yuasa, Kyoto University, Japan Important Dates: **************** * Submission deadline January 25, 2009 * Author notification February 27, 2009 * Final paper due March 23, 2009 * Symposium May 27-29, 2009 For more information, see http://european-lisp-symposium.org -- 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

16 years, 1 month

← Newer
1
...
43
44
45
46
47
48
49
...
57
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

Annonce