Le séminaire du LSV

Le séminaire du LSV a lieu le mardi à 11h00. Le lieu habituel est la salle de conférences au Pavillon des Jardins (plan d'accès). Pour être informé par email des prochains séminaires, contacter Stéphane Le Roux and Matthias Fuegger.

Le séminaire du LSV est public et ne nécessite aucune inscription préalable.

Séminaires passés

Synchronization Invariants

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

 Klaus Draeger
Date
Le mardi 02 juillet 2013 à 11:00
Lieu
Amphithéâtre Tocqueville
Orateur
Klaus Draeger (University of Oxford)

Invariants are an important tool for the verification of complex systems. One very simple class of invariants for compositional reasoning is given by linear constraints on the occurrences of synchronization sequences. This class of invariants exhibits some quite interesting properties, including connections to mathematical fields such as topology. I am currently investigating generalizations of these concepts to more general structures than words, and more general kinds of systems, such as probabilistic ones. In this talk, I will give an overview of this work in progress.


À propos du LSV

Agenda des séminaires

Exporter l'agenda au format iCalendar | Les séminaires précédents

No entries.

Les séminaires précédents