Séminaire de l'équipe Méthodes et Modèles Formelles (M2F)

LaBRI, Bordeaux

Le séminaire M2F a lieu en salle 178 un mardi sur deux à 14H.

Pour proposer un séminaire, le calendrier vous aidera à choisir une date disponible.

Pour s'abonner ou se désabonner de la liste de diffusion.

Pour s'inscrire au calendrier de l'équipe M2F.


Prochains exposés

DateOrateurTitreHybride / Virtuel
mardi 8 novembreMikołaj BojańczykThe category of MSO transductionsVirtuel
MSO transductions are binary relations between classes of structures which are defined using monadic second-order logic. For example, the binary relation {(G,T) | T is some spanning tree of G } is an MSO transduction from the class of graphs to the class of trees. MSO transductions form a category, since they are closed under composition. In my talk, I will discuss this category, and show its usefulness by explaining how many notions, such as tree decompositions or recognizability, can be defined by only using MSO transductions. Part of this is rooted in classical results of Courcelle and Engelfriet, but there are new results as well.
mardi 22 novembreNathalie BertrandA CEGAR approach to parameterized verification of distributed algorithmsHybride
Distributed algorithms are central to many domains such as scientific computing, telecommunications and the blockchain. Even when they aim at performing simple tasks, their behaviour is hard to analyze, due to the presence of faults (crashes, message losses, etc.) and to the asynchrony between the processes. Parameterized verification techniques have been developed to prove correctness of distributed algorithms independently of actual setup, i.e. the number of processes and the potential failures. In this talk, we present a CEGAR approach to checking safety and liveness properties for fault tolerant distributed algorithms that use threshold conditions, typically on the number of received messages of a given type.
mardi 6 décembreRémi MorvanTBAHybride
TBA
mardi 10 janvierStefan KieferTBAHybride
TBA
mardi 24 janvierMoses GanardiTBATBA
TBA
mardi 7 févrierTBATBATBA
TBA
mardi 21 févrierBalder ten CateTBAHybride
TBA



Calendrier de l'équipe




Archives des années précédentes

Exposés passés depuis 2017.




Responsables

Igor Walukiewicz, Corto Mascle