- Annonce

[CfP] ELS 2015, 8th European Lisp Symposium, Apr. 20-21, London
by Didier Verna 05 Dec '14

05 Dec '14

ELS'15 - 8th European Lisp Symposium Goldsmiths College, London, UK April 20-21, 2015 http://www.european-lisp-symposium.org/ Sponsored by EPITA, Franz Inc. and Lispworks Ltd. 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 8th 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: - 22 Feb 2015: Submission deadline - 15 Mar 2015: Notification of acceptance - 29 Mar 2015: Early registration deadline - 05 Apr 2015: Final papers - 20-21 Apr 2015: Symposium Programme chair: Julian Padget, University of Bath, UK Local chair: Christophe Rhodes, Goldsmiths, University of London, UK Programme committee: To be announced Search Keywords: #els2015, ELS 2015, ELS '15, European Lisp Symposium 2015, European Lisp Symposium '15, 8th ELS, 8th European Lisp Symposium, European Lisp Conference 2015, European Lisp Conference '15 -- 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

1 0

[Lrde] Publication accepted at VISAPP 2015
by Myriam Robert-Seidowsky 04 Dec '14

04 Dec '14

We are happy to announce that the following paper has been accepted to the 10th International Conference on Computer Vision Theory and Applications (VISAPP) that will take place in Berlin, on March 11 - 14, 2015: A self-adaptive likelihood function for tracking with particle filter Séverine Dubuisson (1), Myriam Robert-Seidowsky (2) and Jonathan Fabrizio (2) (1) CNRS, UMR 7222, ISIR, F-75005, Paris, France (2) LRDE-EPITA, 14-16, rue Voltaire, F-94276, Le Kremlin Bicêtre, France Abstract: The particle filter is known to be efficient for visual tracking. However, its parameters are empirically fixed, depending on the target application, the video sequences and the context. In this paper, we introduce a new algorithm which automatically adjusts ``on-line" two majors of them: the correction and the propagation parameters. Our purpose is to determine, for each frame of a video, the optimal value of the correction parameter and to adjust the propagation one to improve the tracking performance. On one hand, our experimental results show that the common settings of particle filter are sub-optimal. On another hand, we prove that our approach achieves a lower tracking error without needing tuning these parameters. Our adaptive method allows to track objects in complex conditions (illumination changes, cluttered background, etc.) without adding any computational cost compared to the common usage with fixed parameters. -- Myriam Robert-Seidowsky - LRDE/EPITA

1 0

[Lrde] Publication accepted at VISAPP 2015
by Myriam Robert-Seidowsky 04 Dec '14

04 Dec '14

We are happy to announce that the following paper has been accepted to the 10th International Conference on Computer Vision Theory and Applications (VISAPP) that will take place in Berlin, on March 11 - 14, 2015: TextTrail: A Robust Text Tracking Algorithm In Wild Environments Myriam Robert-Seidowsky (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: In this paper, we propose TextTrail, a robust new algorithm dedicated to text tracking in uncontrolled environments (strong motion of camera and objects, partial occlusions, blur, etc.). It is based on a particle filter framework whose correction step has been improved. First, we compare some likelihood functions and introduce a new one that integrates tangent distance. We show that the likelihood function has a strong influence on the text tracking performances. Secondly, we compare our tracker with another and finally present an example of application. TextTrail has been tested on real video sequences and has proven its efficiency. In particular, it can track texts in complex situations starting from only one detection step without needing another one to reinitialize the tracking model. -- Myriam Robert-Seidowsky - LRDE/EPITA

1 0

[Seminaire-LRDE] Mercredi 17 décembre 2014: Christian Queinnec, UPMC, LIP6
by Daniela Becker 02 Dec '14

02 Dec '14

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 17 décembre 2014 (11h00--12h00), 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/2014-12-17 [4] http://www.lrde.epita.fr/Contact Au programme du Mercredi 17 décembre 2014 : * 11h: D’un MOOC à l'autre -- Christian Queinnec, UPMC, LIP6 http://lip6.fr/Christian.Queinnec/ Au printemps 2014, j'ai animé un MOOC d'initiation à l'informatique, centré sur la programmation récursive. Bien que loin d'être massif, ce MOOC a permis d'expérimenter ce nouveau medium ainsi que de mettre à l'épreuve une infrastructure de correction automatisée. L'exposé portera sur ces deux aspects et présentera également les nouveautés prévues pour la prochaine édition de ce MOOC. -- Lispeur depuis 1974, Unixien depuis 1984, HDR depuis 1988, et depuis peu professeur émérite de l’UPMC. Surtout connu pour ses livres sur Lisp et Scheme, il a récemment animé le MOOC ``Programmation Récursive'' dont il sera question dans l’exposé. 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

1 0

exposé de Maximilien Collenge sur des automates de Büchi avec compteurs le 4 décembre au LRDE
by Alexandre Duret-Lutz 28 Nov '14

28 Nov '14

Le 4 décembre, à 14h, au LRDE (https://www.lrde.epita.fr/wiki/Contact) Maximilien Collenge, actuellement en post-doc à l'université de Genève, fera un exposé sur les automates de Büchi avec compteurs. Abstract: Qualitative formal verification aims at checking that a given formal property holds on a model, given as an automaton. The automata-based approach expresses the property as an automaton then analyses its synchronisation with the model automaton. This method can be extended with various automata flavors to handle quantitative properties. When the quantitative domain is discrete, quantities can be encoded as automata states, and quantitative model-checking is thus reduced to qualitative model-checking. To this end, the initial model is enhanced with new state variables that keep track of the observed quantities, while the quantitative property is rephrased as a qualitative one over the enhanced model. However, such a quantitative-to-qualitative approach lacks generality and is prone to errors, as it makes no clear distinction between the system to be verified (the actual behavior) and the property to be checked (the desired behavior). We propose a cleaner method for discrete quantitative model-checking by extending linear temporal logic (LTL) with counting capabilities: Cost Linear Temporal Logic (CLTL). This extension can be translated into Büchi automata equipped with counters, so as to nicely extend the automata approach to model-checking. We describe the new properties that this extension allows to handle, illustrated with examples. We also explain how it is linked to existing qualitative LTL model-checking, and the new challenges it poses. -- Alexandre Duret-Lutz

1 0

Soutenance de thèse de E. Renault
by Etienne Renault 20 Nov '14

20 Nov '14

Bonjour, J'ai le plaisir de vous convier à ma soutenance de thèse qui aura lieu le Vendredi 5 Décembre 2014 à 14h en salle salle 211 - tour 55 - couloir 55/65 - 2ème étage. La soutenance sera suivie d’un pot. Sujet de la thèse : « Contribution aux tests de vacuité pour le model checking explicite » Membre du jury : Laure. Petrucci (Professeur à l’Université Paris 13): rapporteur Francois Vernadat (Professeur à l’INSA toulouse): rapporteur Jean-Michel. Couvreur (Professeur à l’Université d’Orléans) : examinateur Emmanuelle Encrenaz (Maitre de conférence à l’Université Paris 6): examinateur Jaco van de Pol (Professeur à l’Université de Twente): examinateur Alexandre Duret-Lutz (Maitre de conférence à l’EPITA): encadrant de thèse D. Poitrenaud (Maitre de conférence à l’Université Paris 6): encadrant de thèse Fabrice Kordon (Professeur à l’Université Paris 6): Directeur de thèse Plan d’accès : http://www.upmc.fr/fr/universite/campus_et_sites/a_paris_et_en_idf/jussieu.… Résumé : ———— L'approche automate pour le model checking de propriétés temporelles à temps linéaire est une technique classique de vérification formelle de systèmes concurrents. Un système, ainsi qu'une propriété qu'on souhaite y vérifier, sont modélisés sous forme d’omega-automates reconnaissant des mots infinis. Des manipulations de ces automates (produit synchronisé et test de vacuité) permettent d'établir si le système vérifie la propriété ou non. Dans cette thèse nous nous focalisons sur un type particulier d'omega-automates qui permettent une représentation concise des propriétés d'équité faible: les automates de Büchi généralisés basés sur les transitions (TGBA ou Transition-based Generalized Büchi Automata). Dans un premier temps, nous brossons un aperçu des algorithmes de vérification existant et nous en proposons de nouveaux traitant efficacement les automates généralisés forts. Dans un second temps, l'analyse des composantes fortement connexes de l'automate de la propriété nous a conduit à élaborer une décomposition de cet automate. Cette décomposition se focalise sur les automates multi-forces et permet une parallélisation naturelle des model-checkers. Enfin, nous avons proposé les premiers tests de vacuité parallèles pour les automates généralisés. De plus, tous ces tests sont lock-free à la différence de ceux de l’état de l’art. Toutes ces techniques ont ensuite été implémentées et évaluées sur un jeu de test conséquent. Abstract : ———— The automata-theoretic approach to linear time model-checking is a standard technique for formal verification of concurrent systems. The system and the property to check are modeled with omega-automata that recognizes infinite words. Operations overs these automata (synchronized product and emptiness checks) allows to determine whether the system satisfies the property or not. In this thesis we focus on a particular type of omega-automata that enable a concise representation of weak fairness properties: transitions-based generalized Büchi automata (TGBA). First we outline existing verification algorithms, and we propose new efficient algorithms for strong automata. In a second step, the analysis of the strongly connected components of the property automaton led us to develop a decomposition of this automata. This decomposition focuses on multi-strength property automata and allows a natural parallelization for already existing model-checkers. Finally, we proposed, for the first time, new parallel emptiness checks for generalized Büchi automata. Moreover, all these emptiness checks are lock-free, unlike those of the state-of-the-art. All these techniques have been implemented and then evaluated on a large benchmark.

1 0

[Seminaire-LRDE] Demain, Mercredi 19 novembre 2014 : Markus Voelter, independent/itemis
by Daniela Becker 18 Nov '14

18 Nov '14

Bonjour, petit rappel : la prochaine séance du Séminaire du LRDE aura lieu demain, Mercredi 19 novembre 2014 (11h30--13h), en Amphi 1. Au programme : * 11h30: Generic Tools, Specific Languages -- Markus Voelter, independent/itemis http://www.voelter.de Generic Tools, Specific Languages is an approach for developing tools and applications in a way that supports easier and more meaningful adaptation to specific domains. To achieve this goal, GTSL generalizes programming language IDEs to domains traditionally not addressed by languages and IDEs. At its core, GTSL represents applications as documents / programs / models expressed with suitable languages. Application functionality is provided through an IDE that is aware of the languages and their semantics. The IDE provides editing support, and also directly integrates domain-specific analyses and execution services. Applications and their languages can be adapted to increasingly specific domains using language engineering; this includes developing incremental extensions to existing languages or creating additional, tightly integrated languages. Language workbenches act as the foundation on which such applications are built. -- Dr. Markus Voelter works as an independent researcher, consultant and coach for itemis AG in Stuttgart, Germany. His focus is on software architecture, model-driven software development and domain specific languages as well as on product line engineering. Markus also regularly writes (articles, patterns, books) and speaks (trainings, conferences) on those subjects. -- Akim Demaille Akim.Demaille(a)lrde.epita.fr _______________________________________________ Seminaire mailing list Seminaire(a)lrde.epita.fr https://lists.lrde.epita.fr/listinfo/seminaire

1 0

[Seminaire-LRDE] Mercredi 19 novembre 2014: Markus Voelter, independent/itemis
by Daniela Becker 30 Oct '14

30 Oct '14

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 19 novembre 2014 (11h30--13h), Amphi 1. 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/2014-11-19 [4] http://www.lrde.epita.fr/Contact Au programme du Mercredi 19 novembre 2014 : * 11h30: Generic Tools, Specific Languages -- Markus Voelter, independent/itemis http://www.voelter.de Generic Tools, Specific Languages is an approach for developing tools and applications in a way that supports easier and more meaningful adaptation to specific domains. To achieve this goal, GTSL generalizes programming language IDEs to domains traditionally not addressed by languages and IDEs. At its core, GTSL represents applications as documents / programs / models expressed with suitable languages. Application functionality is provided through an IDE that is aware of the languages and their semantics. The IDE provides editing support, and also directly integrates domain-specific analyses and execution services. Applications and their languages can be adapted to increasingly specific domains using language engineering; this includes developing incremental extensions to existing languages or creating additional, tightly integrated languages. Language workbenches act as the foundation on which such applications are built. -- Dr. Markus Voelter works as an independent researcher, consultant and coach for itemis AG in Stuttgart, Germany. His focus is on software architecture, model-driven software development and domain specific languages as well as on product line engineering. Markus also regularly writes (articles, patterns, books) and speaks (trainings, conferences) on those subjects. 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

1 0

[these] Soutenance : Florian Lesaint, 26 septembre 2014, ISIR - Paris
by Florian Lesaint 19 Sep '14

19 Sep '14

Bonjour, J'ai le plaisir de vous inviter à ma soutenance de thèse, intitulée *Modélisation du conditionnement animal par représentations factorisées dans un système d'apprentissage dual : Explication des différences inter-individuelles aux niveaux comportemental et neurophysiologique* qui aura lieu le vendredi 26 septembre 2014 à 14h, à l'ISIR, UPMC/CNRS, 4 Place Jussieu, Paris Tour 65, 3ème étage, couloir 65-66, salle 304. (plan: http://www.isir.upmc.fr/UserFiles/Image/plan-sout-thesis-lesaint.png) Membres du jury: M. Angelo Arleo -- Directeur de recherche CNRS - INSERM - Université Pierre et Marie Curie -- Examinateur M. Etienne Coutureau -- Chargé de recherche CNRS à l'Université de Bordeaux -- Rapporteur M. Peter Dayan -- Professor at University College London -- Examinateur M. Arthur Leblois -- Chargé de recherche CNRS à l'Université Paris Descartes -- Rapporteur M. Mehdi Khamassi -- Chargé de recherche CNRS à l'Université Pierre et Marie Curie -- Co-encadrant M. Olivier Sigaud -- Professeur de l'Université Pierre et Marie Curie -- Directeur de thèse Un résumé des travaux présentés figure en fin de ce message. La soutenance se déroulera en anglais. Vous êtes chaleureusement conviés au pot qui suivra la soutenance dans le hall de l'ISIR. Amicalement, Florian Lesaint ** FR ********************************************************************* Résumé: Le conditionnement Pavlovien, l'acquisition de réponses vers des stimuli neutres associés à des récompenses, et le conditionnement instrumental, l'expression de comportements pour atteindre des buts, sont au cœur de nos capacités d'apprentissage. Ils sont souvent étudiés séparément malgré les preuves de leur enchevêtrement. Les modèles de conditionnement instrumental reposent sur le formalisme de l'apprentissage par renforcement (RL), alors que les modèles du conditionnement Pavlovien reposent surtout sur des architectures dédiées souvent incompatibles avec ce formalisme, compliquant l'étude de leurs interactions. Notre objectif est de trouver des concepts, qui combinés à des modèles RL puissent offrir une architecture unifiée permettant une telle étude. Nous développons un modèle qui combine un système RL classique, qui apprend une valeur par état, avec un système RL révisé, évaluant les stimuli séparément et biaisant le comportement vers ceux associés aux récompenses. Le modèle explique certaines réponses inadaptées par l'interaction néfaste des systèmes, ainsi que certaines différences inter-individuelles par une simple variation au niveau de la population de la contribution de chaque système dans le comportement global. Il explique une activité inattendue de la dopamine, vis-à-vis de l'hypothèse qu'elle encode un signal d'erreur, par son calcul sur les stimuli et non les états. Il est aussi compatible avec une hypothèse alternative que la dopamine contribue aussi à rendre certains stimuli recherchés pour eux-mêmes. Le modèle présente des propriétés prometteuses pour l'étude du conditionnement Pavlovien, du conditionnement instrumental et de leurs interactions. ** EN ********************************************************************* Title: Modelling animal conditioning with factored representations in dual-learning systems: Explaining inter-individual differences at behavioural and neurophysiological levels Summary: Pavlovian conditioning, the acquisition of responses to neutral stimuli previously paired with rewards, and instrumental conditioning, the acquisition of goal-oriented responses, are central to our learning capacities. However, despite some evidences of entanglement, they are mainly studied separately. Reinforcement learning (RL), learning by trials and errors to reach goals, is central to models of instrumental conditioning, while models of Pavlovian conditioning rely on more dedicated and often incompatible architectures. This complicates the study of their interactions. We aim at finding concepts which combined with RL models may provide a unifying architecture to allow such a study. We develop a model that combines a classical RL system, learning values over states, with a revised RL system, learning values over individual stimuli and biasing the behaviour towards reward-related ones. It explains maladaptive behaviours in pigeons by the detrimental interaction of systems, and inter-individual differences in rats by a simple variation at the population level in the contribution of each system to the overall behaviour. It explains unexpected dopaminergic patterns with regard to the dominant hypothesis that dopamine parallels a reward prediction error signal by computing such signal over features rather than states, and makes it compatible with an alternative hypothesis that dopamine also contributes to the acquisition of incentive salience, making reward-related stimuli wanted for themselves. The present model shows promising properties for the investigation of Pavlovian conditioning, instrumental conditioning and their interactions. -- Florian LESAINT Institut des Systèmes Intelligents et de Robotique (UMR7222) CNRS - Université Pierre et Marie Curie Pyramide, Tour 55 - Boîte courrier 173 4 place Jussieu, 75252 Paris Cedex 05, France http://www.isir.upmc.fr

1 0

L'air de rien 32.0
by Daniela Becker 12 Sep '14

12 Sep '14

Bonjour, nous avons le plaisir de vous annoncer la sortie du n°32 du bulletin du LRDE. C'est un numéro Spécial Rentrée qui présente l'ensemble des permanents du LRDE. Vous y trouverez également un aperçu des activités du LRDE et de la majeure CSI dont font partie tous les élèves épitéens intégrant le labo. Vous pouvez télécharger le bulletin en couleur à la page suivante : https://www.lrde.epita.fr/wiki/Latest_issue -- Daniela Becker Responsable administrative du LRDE

1 0