Annonce

annonce@lrde.epita.fr

565 discussions

[Seminaire-LRDE] Subject: Mercredi 27 janvier 2016: Pierre-Yves Strub -- IMDEA Software Institute - Espagne

by Daniela Becker

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 27 janvier 2016 (11h--12h), Salle L0 du LRDE. Vous trouverez sur le site du séminaire [1] les prochaines séances, les résumés, captations vidéos et planches des exposés précédents [2], le détail de cette séance [3] ainsi que le plan d'accès [4]. [1] http://seminaire.lrde.epita.fr [2] http://seminaire.lrde.epita.fr/Archives [3] http://seminaire.lrde.epita.fr/2016-01-27 [4] http://www.lrde.epita.fr/Contact Au programme du Mercredi 27 janvier 2016 : * 11h: Une introduction à la preuve formelle de sécurité -- Pierre-Yves Strub -- IMDEA Software Institute - Espagne http://www.strub.nu La cryptographie joue un rôle clé dans la sécurité des infrastructures de communication. Il est donc d'une importance capitale de construire des systèmes cryptographiques apportant de fortes garanties de sécurité. C'est dans ce but que les constructions cryptographiques sont étudiées scrupuleusement et viennent avec une preuve de sécurité bornant la probabilité qu'un adversaire casse le crypto-système. La majorité des preuves de sécurité sont réductionnistes: elles construisent, à partir d'un adversaire PPT (Probabilistic Polynomial-Time) violant avec une probabilité écrasante la sécurité de la construction cryptographique, un second adversaire PPT cassant une hypothèse de sécurité. Cette approche, connue sous le nom de "sécurité formelle", permet sur le principe de fournir des preuves mathématiques rigoureuses et détaillées de sécurité. Les récentes constructions cryptographiques (et donc leur analyse de sécurité) sont de plus en plus complexes, et il n'est pas rare qu'elles incluent maintenant la preuve sécurité de l'implémentation du crypto-système, ou de sa résistance aux canaux cachés. En conséquence, les preuves de sécurité de ces algorithmes présentent un niveau de complexité tel qu'un grand nombre d'entre elles sont fausses --- prouvant la sécurité d'une construction qui ne l'est pas. Une solution prometteuse pour pallier ce problème est de développer des outils formels d'aide à la construction et vérification de crypto-systèmes. Bien que de nombreux outils existent pour la cryptographie symbolique, peu d'effort a été fait pour la cryptographie calculatoire --- pourtant utilisée largement parmi les cryptographes. Après avoir introduit le domaine de la preuve formelle et de la sécurité formelle, je présenterai EasyCrypt, un outil d'aide à la preuve des constructions cryptographiques dans le modèle calculatoire. EasyCrypt adopte une approche reposant sur la formalisation de constructions cryptographiques à partir de code concret, dans laquelle la sécurité et les hypothèses de sécurité sont modélisées à partir de programmes probabilistes et où les adversaires sont représentés par du code non spécifié. Une telle approche permet l'utilisation d'outils existants pour la vérification de programmes. EasyCrypt est développé conjointement entre l'IMDEA Software Institute et Inria. -- Pierre-Yves Strub est chercheur au "IMDEA Software Institute", institut madrilène de recherche en informatique. En 2008, il obtient une thèse en informatique de l'École Polytechnique, puis rejoint l'équipe FORMES du laboratoire commun INRIA-Tsinghua University (Pékin, Chine). Avant d'intégrer IMDEA en 2012, il passe deux ans au laboratoire commun MSR-INRIA (Paris, France). Ses recherches portent sur les méthodes formelles, la logique en informatique, la vérification de programmes, la sécurité formelle et la formalisation des mathématiques. -- Depuis qu'il a rejoint IMDEA, ses recherches portent principalement sur la preuve formelle assistée par ordinateur en sécurité/cryptographie. Il est l'un des principaux concepteur et développeur d'EasyCrypt, un outil dédié à la preuve de sécurité de constructions cryptographiques. L'entrée du séminaire est libre. Merci de bien vouloir diffuser cette information le plus largement possible. N'hésitez pas à nous faire parvenir vos suggestions d’orateurs. -- Akim Demaille Akim.Demaille(a)lrde.epita.fr _______________________________________________ Seminaire mailing list Seminaire(a)lrde.epita.fr https://lists.lrde.epita.fr/listinfo/seminaire

9 years, 4 months

[Séminaire des étudiants CSI] Mercredi 20 janvier 2016 - Amphi 3

by Daniela Becker

Bonjour, nous avons le plaisir de vous inviter au Séminaire des étudiants du LRDE. Il aura lieu le mercredi 20 janvier 2016 à partir de 10h30 en Amphi 3 (KB). -------------------------------------------- Au programme : VÉRIFICATION DU LOCUTEUR * 10h30 : La Segmentation du Locuteur Basée sur les Coefficients Cepstraux sur l’échelle de Mel – FANNY RIOLS La séparation du locuteur est un sujet important dans le domaine de la recherche. Il s’agit de savoir qui parle à quel moment dans un enregistrement audio, c’est-à-dire que nous aimerions connaître les intervalles de temps durant lesquels chaque locuteur parle. En calculant les Coefficients Cepstraux sur l’échelle de Mel (MFCC) de notre enregistrement audio, et en utilisant l’Analyse en Composantes Principales (ICA), nous pouvons avec l’aide de chaînes de Markov cachées (HMM), segmenter l’enregistrement. Nous utiliserons cet algorithme pour la segmentation du locuteur dans le système de vérification du locuteur, avec des enregistrements audio où plusieurs personnes parlent, comme dans les enregistrements d’entretiens ou bien les enregistrements microphone de l’évaluation de reconnaissance du locuteur de NIST. SPOT — BIBLIOTHÈQUE DE MODEL CHECKING * 11h00 : Améliorer la determinisation d’automates de Büchi – ALEXANDRE LEWKOWICZ L’algorithme de Safra permet de construire des automates de Rabin déterministes à partir d’automates de Büchi nondéterministes. Il existe une variante à cette méthode qui permet de construire des automates à parités déterministes. Cependant, ces méthodes produisent des automates avec 2O(n log n) états. Il existe des améliorations qui permettent de réduire le nombre d’états dans beaucoup de cas. Nous présentons deux nouvelles stratégies pour aider à réduire le nombre d’états final. La première stratégie utilise les composantes fortement connexes et utilise cette information pour suivre des chemins de Safra différents. La deuxième stratégie utilise l’information retournée par la bisimulation pour retirer des états équivalents. Ceci permet d’éviter de parcourir plusieurs chemins équivalents et ainsi de réduire le nombre d’états final. On montre que nos stratégies permettent souvent de construire des automates déterministes avec moins d’états et que ces automates reconnaissent toujours le même language. On donne des benchmarks pour voir le gain apporté par nos stratégies et on utilise un outil appelé ltl2dstar qui produit des automates de Rabin déterministes à partir de formules LTL pour comparer nos résultats. VCSN — BIBLIOTHÈQUE DE MANIPULATION D’AUTOMATES * 11h30 : Génération aléatoire d’automates et de chemins dans Vcsn – ANTOINE PIETRI Ce rapport présente l’implémentation d’une façon générique et performante pour générer des automates aléatoires pondérés. Pour ce faire, nous utilisons des relations déjà établies entre des ensembles connus et l’ensemble des DFA de taille n. En étendant ces relations dans le cas pondéré, nous généralisons l’algorithme présenté et nous montrons une implémentation dans la plateforme Vcsn. * 12h00 : Vcsn et la linguistique – SÉBASTIEN PIAT La théorie des automates étant utilisée pour représenter et manipuler des langages, la linguistique en est un des domaines d’application. La bibliothèque Vcsn n’a pas encore été utilisée pour de telles applications. La récente implémentation d’une méthode efficace de composition a rendu possible la création d’un traducteur utilisant des transducteurs. Nous présenterons les différentes étapes de l’implémentation d’un traducteur de language SMS ("bjr") vers le français ("bonjour") en utilisant Vcsn, et le pipeline du processus de traduction utilisant des automates. Nous verrons également les difficultés qu’a amenées son implémentation : de l’absence de certains algorithmes dans Vcsn aux mauvaises performances d’autres. * 12h30 : Composition Efficace de Transducteurs dans Vcsn – VALENTIN TOLMER Les transducteurs sont utilisés dans beaucoup de contextes, comme la reconnaissance de parole ou le calcul de la similitude entre protéines. Un des algorithmes fondamentaux pour les manipuler est la composition. Ce travail présente l’algorithme basique de composition, puis son extension à des transducteurs à transitions spontanées. Une adaptation paresseuse de l’algorithme est ensuite proposée, à la fois pour la composition et pour le pré-traitement (insplitting). Nous montrons ensuite que la version naïve de la composition variadique ne réduit pas la quantité de calculs nécessaires. Enfin, des mesures de performances comparent l’implémentation de la composition dans Vcsn à celle d’OpenFST. -- Daniela Becker Responsable administrative du LRDE

9 years, 4 months

[Lrde] New journal publication

by Ana Stefania Calarasanu

I am happy to announce that the following paper has been accepted for publication in the Image and Vision Computing Journal (IVC): What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions Stefania Calarasanu (1), Jonathan Fabrizio (1) and Séverine Dubuisson (2) (1) LRDE-EPITA, 14-16, rue Voltaire, F-94276, Le Kremlin Bicêtre, France (2) CNRS, UMR 7222, ISIR, F-75005, Paris, France Abstract: A trustworthy protocole is essential to evaluate a text detection algorithm in order to, first measure its efficiency and adjust its parameters and, second to compare its performances with those of other algorithms. However, current protocols do not give precise enough evaluations because they use coarse evaluation metrics, and deal with inconsistent matchings between the output of detection algorithms and the ground truth, both often limited to rectangular shapes. In this paper, we propose a new evaluation protocol, named EvaLTex, that solves some of the current problems associated with classical metrics and matching strategies. Our system deals with different kinds of annotations and detection shapes. It also considers different kinds of granularity between detections and ground truth objects and hence provides more realistic and accurate evaluation measures. We use this protocol to evaluate text detection algorithms and highlight some key examples that show that the provided scores are more relevant than those of currently used evaluation protocols. Ana Stefania Calarasanu ___________________________________________________ PhD Engineer EPITA Research and Development Laboratory (LRDE) 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre CEDEX, France https://www.lrde.epita.fr/wiki/User:Calarasanu Ana Stefania Calarasanu ___________________________________________________ PhD Student EPITA Research and Development Laboratory (LRDE) 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre CEDEX, France https://www.lrde.epita.fr/wiki/User:Calarasanu

9 years, 5 months

[Lrde] Publication accepted at VISSAP 2016

by Ana Stefania Calarasanu

I am happy to announce that the following paper has been accepted to the 11th International Conference on Computer Vision Theory and Applications (VISAPP) that will take place in Rome, Italy, on February 27 - 29, 2016: Towards the rectification of highly distorted texts Stefania Calarasanu (1), Séverine Dubuisson (2) and Jonathan Fabrizio (1) (1) LRDE-EPITA, 14-16, rue Voltaire, F-94276, Le Kremlin Bicêtre, France (2) CNRS, UMR 7222, ISIR, F-75005, Paris, France Abstract: A frequent challenge for many Text Understanding Systems is to tackle the variety of text characteristics in born-digital and natural scene images to which current OCRs are not well adapted. For example, texts in perspective are frequently present in real-word images, but despite the ability of some detectors to accurately localize such text objects, the recognition stage fails most of the time. Indeed, most OCRs are not designed to handle text strings in perspective but rather expect horizontal texts in a parallel-frontal plane to provide a correct transcription. In this paper, we propose a rectification procedure that can correct highly distorted texts, subject to rotation, shearing and perspective deformations. The method is based on an accurate estimation of the quadrangle bounding the deformed text in order to compute a homography to transform this quadrangle (and its content) into a horizontal rectangle. The rectification is validated on the dataset proposed during the ICDAR 2015 Competition on Scene Text Rectification. Ana Stefania Calarasanu ___________________________________________________ PhD Engineer EPITA Research and Development Laboratory (LRDE) 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre CEDEX, France https://www.lrde.epita.fr/wiki/User:Calarasanu

9 years, 5 months

Soutenance de thèse d'Ana Calarasanu

by Jonathan Fabrizio

Bonjour à tous, Nous avons le plaisir de vous inviter à la soutenance de thèse d'Ana Calarasanu intitulée ``Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms’’. Celle-ci aura lieu le vendredi 11 décembre 2015 à 13h30 en amphi 3 à l'EPITA, situé au 14-16 rue Voltaire au Kremlin-Bicêtre. Vous trouverez un plan d'accès à l'école à l'adresse suivante : https://www.lrde.epita.fr/wiki/Affiche-these-SC La soutenance sera suivie d'un pot. Manuscrit de thèse ------------------ Téléchargeable à cette adresse : https://www.lrde.epita.fr/~calarasanu/manuscript_thesis_CALARASANU.pdf Composition du jury de thèse ---------------------------- Rapporteurs : Jean-Marc OGIER (Université La Rochelle) Lionel PREVOST (Université des Antilles et de la Guyane) Examinateurs : Nicolas BREDECHE (Université Pierre et Marie Curie) Christopher KERMORVANT (Teklia) Beatriz MARCOTEGUI (MINES ParisTech) Nicole VINCENT (Université Paris-Descartes) Directeurs de thèse : Séverine DUBUISSON (Université Pierre et Marie Curie) Jonathan FABRIZIO (Ecole Pour l’Informatique et les Techniques Avancées) Résumé de la thèse ------------------ The objective of this thesis is twofold. On one hand it targets the proposition of a more accurate evaluation protocol designed for text detection systems that solves some of the existing problems in this area. On the other hand, it focuses on the design of a text rectification procedure used for the correction of highly deformed texts. Text detection systems have gained a significant importance during the last years. The growing number of approaches proposed in the literature requires a rigorous performance evaluation and ranking. In the context of text detection, an evaluation protocol relies on three elements: a reliable text reference, a matching set of rules deciding the relationship between the ground truth and the detections and finally a set of metrics that produce intuitive scores. The few existing evaluation protocols often lack accuracy either due to inconsistent matching procedures that provide unfair scores or due to unrepresentative metrics. Despite these issues, until today, researchers continue to use these protocols to evaluate their work. In this Ph.D thesis we propose a new evaluation protocol for text detection algorithms that tackles most of the drawbacks faced by currently used evaluation methods. This work is focused on three main contributions: firstly, we introduce a complex text reference representation that does not constrain text detectors to adopt a specific detection granularity level or annotation representation; secondly, we propose a set of matching rules capable of evaluating any type of scenario that can occur between a text reference and a detection; and finally we show how we can analyze a set of detection results, not only through a set of metrics, but also through an intuitive visual representation. We use this protocol to evaluate different text detectors and then compare the results with those provided by alternative evaluation methods. A frequent challenge for many Text Understanding Systems is to tackle the variety of text characteristics in born-digital and natural scene images to which current Optical Character Recognition (OCR)s are not well adapted. For example, texts in perspective are frequently present in real-word images because the camera capture angle is not normal to the plane containing text regions. Despite the ability of some detectors to accurately localize such text objects, the recognition stage fails most of the time. Indeed, most OCRs are not designed to handle text strings in perspective but rather expect horizontal texts in a parallel-frontal plane to provide a correct transcription. All these aspects, together with the proposition of a very challenging dataset, motivated us to propose a rectification procedure capable of correcting highly distorted texts.

9 years, 6 months

Soutenance de thèse d'Edwin Carlinet - vendredi 27 novembre (Paris Est)

by Thierry Géraud

Bonjour à tous, Nous avons le plaisir de vous inviter à la soutenance de thèse d'Edwin Carlinet intitulée ``Un arbre des formes pour des images multi-variées''. Celle-ci aura lieu le vendredi 27 novembre 2015 à 14h00 en amphi 210 à l'ESIEE Paris, situé au 2 boulevard Blaise Pascal, Cité Descartes, à Noisy-le-Grand (93). Vous trouverez un plan d'accès à l'école à l'adresse suivante : http://www.esiee.fr/Infos-pratiques/acces.php La soutenance sera suivie d'un pot. Manuscrit de thèse ------------------ Téléchargeable à cette adresse : http://www.lrde.epita.fr/wiki/Affiche-these-EC Composition du jury de thèse ---------------------------- Rapporteurs : Coloma Ballester (Universitat Pompeu Fabra) Philippe Salembier (Universitat Politècnica de Catalunya) Ludovic Macaire (Université Lille 1) Examinateurs : Jesús Angulo (Mines ParisTech) Pascal Monasse (Ecole des Ponts ParisTech) Directeurs de thèse : Jean Serra (ESIEE Paris - Université Paris-Est Marne-la-Vallée) Thierry Géraud (EPITA) Résumé de la thèse ------------------ De nombreuses applications issues de la vision par ordinateur et de la reconnaissance des formes requièrent une analyse de l'image multi-échelle basée sur ses régions. De nos jours, personne ne considérerait une approche orientée « pixel » comme une solution viable pour traiter ce genre de problèmes. Pour répondre à cette demande, la Morphologie Mathématique a fourni des représentations hiérarchiques des régions de l'image telles que l'Arbre des Formes (AdF). L'AdF représente l'image par un arbre d'inclusion de ses lignes de niveaux. L'AdF est ainsi auto-dual et invariant au changement de contraste, ce qui fait de lui une structure bien adaptée au traitements d'images de haut niveau. Néanmoins, il est seulement défini aux images en niveaux de gris et la plupart des tentatives d'extension aux images multivariées (en imposant un ordre total « arbitraire ») ne sont pas satisfaisantes. Dans ce manuscrit, nous présentons une nouvelle approche pour étendre l'AdF scalaire au images multivariées : l'Arbre des Formes Multivarié (AdFM). Cette représentation est une « fusion » des AdFs calculés marginalement sur chaque composante de l'images. On vise à fusionner les formes marginales de manière « sensée » en préservant un nombre maximal d'inclusion. La méthode proposée a des fondements théoriques qui consistent en l'expression de l'AdF par une carte topographique de la variation totale curvilinéaire depuis la bordure de l'image. C'est cette reformulation qui a permis l'extension de l'AdF aux données multivariées. De plus, l'AdFM partage des propriétés similaires avec l'AdF scalaire ; la plus importante étant son invariance à tout changement ou inversion de contraste marginal (une sorte d'auto-dualité dans le cas multidimensionnel). Puisqu'il est évident que, vis-à-vis du nombre sans cesse croissant de données à traiter, nous ayons besoin de techniques rapides de traitement d'images, nous proposons un algorithme efficace qui permet de construire l'AdF en temps quasi-linéaire vis-à-vis du nombre de pixels et quadratique vis-à-vis du nombre de composantes. Nous proposons également des algorithmes permettant de manipuler l'arbre, montrant ainsi que, en pratique, l'AdFM est une structure facile à manipuler, polyvalente, et efficace. Finalement, pour valider la pertinence de notre approche, nous proposons quelques expériences testant la robustesse de notre structure aux composantes non-pertinentes (avec du bruit ou à faible dynamique) et nous montrons que ces défauts n'affectent pas la structure globale de l'AdFM. De plus, nous proposons des applications concrètes utilisant l'AdFM. Certaines sont juste des modifications mineures aux méthodes employant d'ores et déjà l'AdF scalaire mais adaptées à notre nouvelle structure. Par exemple, nous utilisons l'AdFM à des fins de filtrage, segmentation, classification et de détection d'objet. De ces applications, nous montrons ainsi que les méthodes basées sur l'AdFM surpassent généralement leur analogue basé sur l'AdF, démontrant ainsi le potentiel de notre approche.

9 years, 6 months

Poster accepted at TPNC 2015

by Didier Verna

Dear collegues, I am happy to inform you that my poster submission to TPNC 2015 (Theory and Practice of Natural Computing, Mieres, Spain, 15-16 December) has been accepted. The poster's abstract is given below: Scientists have been drawing bridges between Computer Science and Biology for a long time now. Biologists make a constant use of tools from Computer Science to gain a better understanding of their research field (genetics, systems biology etc.). Conversely, many ideas and models from Biology are used in Computer Science (artificial intelligence, neural networks, genetic algorithms etc.). In every such case however, these bridges are intentional: there is always the will to grab a model here, and apply it there. But what if other connections existed before we even realized it? What if common, inherent behavioral patterns were to be found in both Computer Science and Biology? In other words, are there any bridges to be discovered rather than invented? This poster will exhibit one such bridge, discovered almost by accident: the behavioral equivalence of LaTeX, a software typesetting system, and unicellular life, in terms of evolution. In Biology, evolution is usually seen as a tinkering process, different from what an engineer does when he plans the development of his systems. Recently however, studies have shown that even in Biology, there is a part of good engineering. On the other hand, computer scientists have much more difficulty to admit that there is also a great deal of tinkering in what they do, and that their software systems behave more and more like tinkered, biological realms every day. The LaTeX world is probably one of the best examples of this. It is composed of thousands of software components in constant evolution, most notably documents, classes and styles. Classes and styles are born, evolve or die, interact with each other, compete or cooperate, very much like living organisms do at the cellular level. By considering LaTeX documents as unicellular organisms, classes as their initial genetic material and styles as viruses that infect them, we are able to exhibit a fascinating number of behavioral patterns common to both worlds. We analyze infection methods, types and cures, and we show how both LaTeX and unicellular organisms are able to survive in a world of perpetual war, by using the same techniques. This work may be the very first example of software "reverse-tinkering", and may help to eventually realize that the silicon-based world is much more biological than we ever would have thought. As such, and in light of recent work that tend to consider cells as proper genetic computers, it is also time to consider than maybe we haven't actually invented Computer Science; only discovered it. -- My new Jazz CD entitled "Roots and Leaves" is out! Check it out: http://didierverna.com/records/roots-and-leaves.php Lisp, Jazz, Aïkido: http://www.didierverna.info

9 years, 6 months

Vcsn 2.1 is released!

by Akim Demaille

About 10,000 hours (on the calendar, not of work!) after its first public release, the Vcsn team is very happy to announce the release of Vcsn 2.1! Vcsn is a platform for weighted automata and rational expressions. It consists of an efficient C++ generic library, shell tools, Python bindings, and a graphical interactive environment on top of IPython. It is quite hard to cherry-pick a few new features that have been added in Vcsn 2.1, as shown by the 4k+ lines in the NEWS file since 2.0. For details, see http://vcsn.lrde.epita.fr/Vcsn2.1. However, here are a few headlines: - Many pages of documentation and examples have been written (see http://vcsn.lrde.epita.fr/dload/2.1/notebooks). - Now http://vcsn-sandbox.lrde.epita.fr/ provides a live demo. - Packages for popular distributions (including for Docker) are already available to simplify the installation. - Transducers are much better supported, with improved syntax and several algorithms (e.g., letterize, synchronize, partial_identity, is_functional, etc.) - Expressions now offer several sets of identities specifying how they should be normalized. More generally, input/output of expressions have been improved to match most users' expectations. New operators are accepted: `&` for conjunction, `:` for shuffle, `&:` for infiltration, `{c}` (postfix) for complement, and `<+` for deterministic choice. - When entering an automaton (e.g., with `%%automaton` in IPython) user state names are preserved. - Of course, many bugs were fixed, many algorithms were sped up, and internal details have been cleaned up. - As Easter eggs, many features have also been added, but not advertised, until we are sure of how we want them to look like. People who worked on this release: - Akim Demaille - Antoine Pietri - Canh Luu - Clément Démoulins - Lucien Boilod - Nicolas Barray - Sébastien Piat - Sylvain Lombardy - Valentin Tolmer - Yann Bourgeois--Copigny People who have influenced this release: - Alexandre Duret-Lutz - Jacques Sakarovitch - Luca Saiu To download Vcsn 2.1, and for any information, visit <http://vcsn.lrde.epita.fr/Vcsn2.1>.

9 years, 7 months

ELS et ACM

by Didier Verna

Chers collègues, j'ai le plaisir de vous annoncer qu'ELS, le Symosium Européen sur Lisp, vient d'obtenir le statut de conférence « In Cooperation with: ACM SIGPLAN ». Les actes seront donc désormais publiés dans leur Digital Library. -- My new Jazz CD entitled "Roots and Leaves" is out! Check it out: http://didierverna.com/records/roots-and-leaves.php Lisp, Jazz, Aïkido: http://www.didierverna.info

9 years, 7 months

[CfP] European Lisp Symposium 2016, May 9-10, Kraków, Poland

by Didier Verna

ELS'16 - 9th European Lisp Symposium AGH University of Science and Technology Kraków, Poland May 9-10, 2016 http://www.european-lisp-symposium.org/ Sponsored by EPITA and AGH University The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all aspects of design, implementation and application of any of the Lisp and Lisp-inspired dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL, Hop and so on. We encourage everyone interested in Lisp to participate. The 9th European Lisp Symposium invites high quality papers about novel research results, insights and lessons learned from practical applications and educational perspectives. We also encourage submissions about known ideas as long as they are presented in a new setting and/or in a highly elegant way. Topics include but are not limited to: - Context-, aspect-, domain-oriented and generative programming - Macro-, reflective-, meta- and/or rule-based development approaches - Language design and implementation - Language integration, inter-operation and deployment - Development methodologies, support and environments - Educational approaches and perspectives - Experience reports and case studies We invite submissions in the following forms: Papers: Technical papers of up to 8 pages that describe original results or explain known ideas in new and elegant ways. Demonstrations: Abstracts of up to 2 pages for demonstrations of tools, libraries, and applications. Tutorials: Abstracts of up to 4 pages for in-depth presentations about topics of special interest for at least 90 minutes and up to 180 minutes. The symposium will also provide slots for lightning talks, to be registered on-site every day. All submissions should be formatted following the ACM SIGS guidelines and include ACM classification categories and terms. For more information on the submission guidelines and the ACM keywords, see: http://www.acm.org/sigs/publications/proceedings-templates and http://www.acm.org/about/class/1998. Important dates: - 19 Feb 2016 Submission deadline - 25 Mar 2016 Notification of acceptance - 15 Apr 2016 Early registration deadline - 22 Apr 2016 Final papers due - 9-10 May 2016 Symposium Programme chair: Irène Durand, University of Bordeaux, France Local chair: Michał Psota, Emergent Network Defense, Kraków, Poland Programme committee: Antonio Leitao — INESC-ID / Instituto Superior Técnico, Universidade de Lisboa, Portugal Charlotte Heerzel — IMEC, Leuven, Belgium Christian Queinnec — University Pierre et Marie Curie, Paris 6, France Christophe Rhodes — Goldsmiths, University of London, United Kingdom Didier Verna — EPITA Research and Development Laboratory, France Erick Gallesio — University of Nice-Sophia Antipolis, France Francois-René Rideau, Google, USA Giuseppe Attardi — University of Pisa, Italy Henry Lieberman — MIT, USA Kent Pitman, HyperMeta Inc., U.S.A. Leonie Dreschler-Fischer — University of Hamburg, Germany Pascal Costanza — Intel Corporation, Belgium Robert Strandh — University of Bordeaux, France Search Keywords: #els2016, ELS 2016, ELS '16, European Lisp Symposium 2016, European Lisp Symposium '16, 9th ELS, 9th European Lisp Symposium, European Lisp Conference 2016, European Lisp Conference '16 -- My new Jazz CD entitled "Roots and Leaves" is out! Check it out: http://didierverna.com/records/roots-and-leaves.php Lisp, Jazz, Aïkido: http://www.didierverna.info

9 years, 8 months

← Newer
1
...
18
19
20
21
22
23
24
...
57
Older →

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

Annonce