June 2022 - Annonce

Paper published in Information & Computation
by Uli Fahrenberg 05 Mar '23

05 Mar '23

The following paper has been published in Information & Computation: Posets With Interfaces as a Model for Concurrency Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański We introduce posets with interfaces (iposets) and generalise their standard serial composition to a new gluing composition. In the partial order semantics of concurrency, interfaces and gluing allow modelling events that extend in time and across components. Alternativelytaking a decompositional view, interfaces allow cutting through events, while serial composition may only cut through edges of a poset. We show that iposets under gluing composition form a category, which generalises the monoid of posets under serial composition up to isomorphism. They form a 2-category when a subsumption order and a lax tensor in the form of a non-commutative parallel composition are added, which generalises the interchange monoids used for modelling series-parallel posets. We also study the gluing-parallel hierarchy of iposets, which generalises the standard series-parallel one. The class of gluing-parallel iposets contains that of series-parallel posets and the class of interval orders, which are well studied in concurrency theory, too. We also show that it is strictly contained in the class of all iposets by identifying several forbidden substructures. https://www.lrde.epita.fr/wiki/Publications/fahrenberg.22.iandc

1 2

Quickref 4.0b1 is out
by Didier Verna 10 Jun '22

10 Jun '22

Dear all, following the recent release of Declt 4.0, I'm happy to announce that Quickref 4.0 is on its way too, resulting in an update of the official website (https://quickref.common-lisp.net/) which now contains automatically generated documentation for 2110 Common Lisp libraries. The Docker images are up to date too. More details here: https://www.didierverna.net/blog/index.php?post/2022/05/26/Quickref-4.0-bet… -- Resistance is futile. You will be jazzimilated. Lisp, Jazz, Aïkido: http://www.didierverna.info

1 0

Declt 4.0 beta 1 is released
by Didier Verna 10 Jun '22

10 Jun '22

Dear all, I'm happy to announce the release of Declt 4.0 beta 1. Although tagged as a beta version, this release is stable and constitutes the first of three steps in a major infrastructure overhaul. Declt is the rendering engine behind Quickref, a website providing automatic documentation for more than two thousand Common Lisp libraries. The long list of fixes, improvements, and new features in this release is proved here: https://www.didierverna.net/blog/index.php?post/2022/05/10/Declt-4.0-beta-1… For more information on Declt / Quickref: https://www.lrde.epita.fr/~didier/software/lisp/typesetting.php The Quickref website: https://quickref.common-lisp.net/ -- Resistance is futile. You will be jazzimilated. Lisp, Jazz, Aïkido: http://www.didierverna.info

1 0

sortie de mon essai "Données, Transparence et Démocratie"
by Olivier Ricou 07 Jun '22

07 Jun '22

Bonjour, Je suis heureux de vous annoncer la sortie de mon essai Données, Transparence et Démocratie http://opendata.ricou.eu.org/ Je pars du fait que notre système politique va mal et que la confiance en nos institutions est faible. Un remède me semble être de donner à chacun les outils pour vérifier les actions de l'État et pour participer. Cela passe par la transparence, dans notre cas l'ouverture des données publiques, et par la prise en compte des retours des citoyens. L'ouverture des données publiques est inscrite dans la loi depuis 2016 mais elle a du mal à se mettre en place, pour des raisons techniques et politiques. Elle peut aussi être ralentie par le sentiment d'inutilité lorsque des données publiées ne trouvent pas leur public. Aussi le but de mon essai est de souligner l'importance de cette ouverture et de pousser chacun d'entre nous à exploiter ces données dans un but personnel ou pour le bien public. Cette ouverture offre aussi de nombreuses opportunités économiques et sociales que je présente dans ce livre. N'hésitez pas à me faire part de vos impressions ou remarques, par mail ou sur mon fil Twitter @egeopol https://twitter.com/egeopol Olivier Ricou.

1 0

New publication: "From Spot 2.0 to Spot 2.10: What's New?" (CAV'22)
by Alexandre Duret-Lutz 06 Jun '22

06 Jun '22

We are happy to announce that the following article has been accepted to the 34th International Conference on Computer Aided Verification (CAV'22) to be held in Haifa, Israel, in August 7-10, 2022. ====================================================================== From Spot 2.0 to Spot 2.10: What's New? Alexandre Duret-Lutz¹ Étienne Renault¹ Maximilien Colange² Florian Renkin¹ Alexandre Gbaguidi Aisse² Philipp Schlehuber-Caissier¹ Thomas Medioni² Antoine Martin¹ Jérôme Dubois¹ Clément Gillard² Henrich Lauko² ¹LRDE, EPITA, France ²previously at LRDE Spot is a C++17 library for LTL and ω-automata manipulation, with command-line utilities, and Python bindings. This paper summarizes its evolution over the past six years, since the release of Spot 2.0, which was the first version to support ω-automata with arbitrary acceptance conditions, and the last version presented at a conference. Since then, Spot has been extended with several features such as acceptance transformations, alternating automata, games, LTL synthesis, and more. We also shed some lights on the data-structure used to store automata. https://www.lrde.epita.fr/wiki/Publications/duret.22.cav ======================================================================

1 0