Séminaires de l'équipe M2F

LaBRI, Bordeaux

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

Pour proposer un séminaire, le calendrier ci-dessous 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

Tous les exposés sont retransmis en ligne.

Date Exposé de Titre Exposé en présence / virtuel
mardi 18 juin Marc Zeitoun Nested temporal hierarchies of regular languages en présence
In this talk, we focus on unary temporal logic over words (UTL). It is known that languages definable in this logic have several equivalent characterizations based on different formalisms. Additionally, it is known that one can decide whether a regular language can be expressed in UTL. First, I will present these various characterizations. Then, I will introduce a general approach that encompasses all known results and allows us to obtain new ones. This approach relies on the use of an "operator" whose repeated application yields a hierarchy of classes of regular languages. Finally, I will present some results about this new hierarchy, in particular its relationship with the so-called concatenation hierarchy. This is joint work with Thomas Place.


Calendrier de l'équipe



Archives des années précédentes



Responsables

Igor Walukiewicz, Corto Mascle