Annonce May 2016

annonce@lrde.epita.fr

3 participants
4 discussions

publications: two papers accepted at Spin'15

by Alexandre Duret-Lutz

I am happy to announce that the following two papers have been accepted at the 22nd International SPIN Symposium on Model Checking of Software (SPIN 2015) to be held in Stellenbosch, South Africa on 24–26 August 2015. --- On Refinement of Büchi Automata for Explicit Model Checking František Blahoudek¹, Alexandre Duret-Lutz², Vojtěch Rujbr¹, and Jan Strejček¹ ¹Faculty of Informatics, Masaryk University, Brno, Czech Republic ²LRDE, EPITA, Le Kremlin-Bicêtre, France https://www.lrde.epita.fr/wiki/Publications/blahoudek.15.spin Abstract: In explicit model checking, systems are typically described in an implicit and compact way. Some valid information about the system can be easily derived directly from this description, for example that some atomic propositions cannot be valid at the same time. The paper shows several ways to apply this information to improve the Büchi automaton built from an LTL specification. As a result, we get smaller automata with shorter edge labels that are easier to understand andmore importantly, for which the explicit model checking process performs better. --- Practical Stutter-Invariance Checks for ω-Regular Languages Thibaud Michaud and Alexandre Duret-Lutz LRDE, EPITA, Le Kremlin-Bicêtre, France https://www.lrde.epita.fr/wiki/Publications/michaud.15.spin Abstract: We propose several automata-based constructions that check whether a specification is stutter-invariant. These constructions assume that a specification and its negation can be translated into Büchi automata, but aside from that, they are independent of the specification formalism. These transformations were inspired by a construction due to Holzmann and Kupferman, but that we broke down into two operations that can have different realizations, and that can be combined in different ways. As it turns out, implementing only one of these operations is needed to obtain a functional stutter-invariant check. Finally we have implemented these techniques in a tool so that users can easily check whether an LTL or PSL formula is stutter-invariant. -- Alexandre Duret-Lutz

8 years, 1 month

ELS 2016 videos

by Didier Verna

Hello, ELS 2016, the 9th European Lisp Symposium (May 9-10, AGH University, Krakow, Poland) has been entirely video-recorded. I'm pleased to announce that the videos are now available online: https://www.youtube.com/playlist?list=PLA66mD-6yK8xqd5XKxzwVBIqf1d3QQXpv -- Resistance is futile. You will be jazzimilated. Lisp, Jazz, Aïkido: http://www.didierverna.info

8 years, 1 month

Help Demande de désabonnement

by Pierre Levillain

Merci de me désabonner de la liste Cordialement pierre(a)levillain.org Le 10 mai 2016 à 12:00, <annonce-request(a)lrde.epita.fr> a écrit : > Envoyez vos messages pour la liste Annonce à > annonce(a)lrde.epita.fr > > Pour vous (dés)abonner par le web, consultez > https://lists.lrde.epita.fr/listinfo/annonce > > ou, par email, envoyez un message avec 'help' dans le corps ou dans le > sujet à > annonce-request(a)lrde.epita.fr > > Vous pouvez contacter l'administrateur de la liste à l'adresse > annonce-owner(a)lrde.epita.fr > > Si vous répondez, n'oubliez pas de changer l'objet du message afin > qu'il soit plus spécifique que "Re: Contenu du digest de Annonce..." > > > Thèmes du jour : > > 1. [Seminaire-LRDE] Mercredi 18 mai 2016: Didier Verna -- > EPITA/LRDE (Daniela Becker) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Tue, 10 May 2016 10:58:47 +0200 > From: Daniela Becker <daniela(a)lrde.epita.fr> > To: seminaire(a)lrde.epita.fr > Subject: [Lrde Annonce] [Seminaire-LRDE] Mercredi 18 mai 2016: Didier > Verna -- EPITA/LRDE > Message-ID: <F6E5FB42-E245-48DB-B367-D0FED0398B36(a)lrde.epita.fr> > Content-Type: text/plain; charset="utf-8" > > 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 18 mai 2016 (11h--12h30), 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-05-18 > [4] http://www.lrde.epita.fr/Contact > > Au programme du Mercredi 18 mai 2016 : > > * 11h: Un avant-goût de Julia > -- Didier Verna -- EPITA/LRDE > http://www.didierverna.info/ > > Julia est un langage de programmation relativement jeune, développé au > MIT, et vendu comme langage dynamique à haute performance pour le calcul > scientifique numérique. L'un des co-auteurs du langage a une > connaissance de Scheme, et Julia s'inspire en effet largement de Scheme, > Common Lisp et Dylan, au point qu'il pourrait presque revendiquer un > lien de parenté avec Lisp. Tout ceci est déjà suffisant pour capter > notre attention, mais il y a plus: Julia semble également tirer parti de > techniques modernes d'optimisation pour les langages dynamiques, en > particulier grâce à son compilateur « Just-in-Time » basé sur LLVM. > > Dans cette présentation, nous ferons un tour des aspects les plus > saillants du langage, avec une légère emphase sur ce qui en fait (ou > pas) un Lisp, quelques fois même (pas toujours) un meilleur Lisp que > Lisp lui-même. > > -- Didier Verna est enseignant-chercheur au Laboratoire de Recherche et > Développement de l'EPITA. Il s'intéresse aux langages dynamiques > multi-paradigmes et en particulier aux implications de l'homoiconicité > (à tout le moins de la réflexivité) en termes de méta-programmation, > d'extensibilité et de génie logiciel en général. Didier Verna préside le > comité de pilotage du Symposium Européen sur Lisp. Il est également très > impliqué dans le logiciel libre; il fût l'un des mainteneurs d'XEmacs > pendant plus de 15 ans. > > > 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 > > ------------------------------ > > Subject: Pied de page des remises groupées > > _______________________________________________ > Annonce mailing list > Annonce(a)lrde.epita.fr > https://lists.lrde.epita.fr/listinfo/annonce > > > ------------------------------ > > Fin de Lot Annonce, Vol 123, Parution 1 > *************************************** >

8 years, 2 months

[Seminaire-LRDE] Mercredi 18 mai 2016: Didier Verna -- EPITA/LRDE

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 18 mai 2016 (11h--12h30), 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-05-18 [4] http://www.lrde.epita.fr/Contact Au programme du Mercredi 18 mai 2016 : * 11h: Un avant-goût de Julia -- Didier Verna -- EPITA/LRDE http://www.didierverna.info/ Julia est un langage de programmation relativement jeune, développé au MIT, et vendu comme langage dynamique à haute performance pour le calcul scientifique numérique. L'un des co-auteurs du langage a une connaissance de Scheme, et Julia s'inspire en effet largement de Scheme, Common Lisp et Dylan, au point qu'il pourrait presque revendiquer un lien de parenté avec Lisp. Tout ceci est déjà suffisant pour capter notre attention, mais il y a plus: Julia semble également tirer parti de techniques modernes d'optimisation pour les langages dynamiques, en particulier grâce à son compilateur « Just-in-Time » basé sur LLVM. Dans cette présentation, nous ferons un tour des aspects les plus saillants du langage, avec une légère emphase sur ce qui en fait (ou pas) un Lisp, quelques fois même (pas toujours) un meilleur Lisp que Lisp lui-même. -- Didier Verna est enseignant-chercheur au Laboratoire de Recherche et Développement de l'EPITA. Il s'intéresse aux langages dynamiques multi-paradigmes et en particulier aux implications de l'homoiconicité (à tout le moins de la réflexivité) en termes de méta-programmation, d'extensibilité et de génie logiciel en général. Didier Verna préside le comité de pilotage du Symposium Européen sur Lisp. Il est également très impliqué dans le logiciel libre; il fût l'un des mainteneurs d'XEmacs pendant plus de 15 ans. 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

8 years, 2 months

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

Annonce May 2016