LACL (Créteil) en salle 223, au 2e étage du bâtiment I- comment y aller
Abstract: The reachability problem for vector addition systems with states (VASS) is shown PSPACE-complete when the dimension is two. This improves on a previously known doubly-exponential time bound established by Howell, Rosier, Huynh and Yen in 1986. The coverability and boundedness problems are also noted to be PSPACE-complete. Some complexity results are also given for the reachability problem in two-dimensional VASS and in integer VASS when numbers are encoded in unary.
Abstract: La biologie de synthèse est un domaine émergent en quête d’outils afin de formaliser et d’automatiser la caractérisation et la conception de systèmes biologiques. Dans ce cadre, nous proposons de définir le langage GUBS (Genetic Unified Behaviour Specification) utilisé pour spécifier de manière comportementale les systèmes biologiques à synthétiser. De cette définition, le compilateur Ggc recherche un assemblage de composants biologiques capable de reproduire le comportement spécifié.
Gubs est un langage déclaratif que nous pouvons assimiler à un langage de requêtes évolué de recherche de comportements décrits par un ensemble de relations causales. Associé à ce langage, le compilateur Ggc sélectionne automatiquement les composants pour qu’une fois assemblés leur comportement collectif "inclut" celui décrit. La compilation d’une spécification Gubs s’appuie sur le principe d’ACI-Unification en utilisant plus généralement un schéma similaire au système de preuve automatique qui permet de garantir formellement la correction de cet assemblage.