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.
Tous les exposés sont retransmis en ligne.
Date | Exposé de | Titre | Exposé en présence / virtuel |
---|---|---|---|
mardi 26 septembre | Paweł Parys | The Probabilistic Rabin Tree Theorem | en présence |
The Rabin tree theorem yields an algorithm to solve the satisfiability problem for monadic second-order logic over infinite trees. Recently, we solved the probabilistic variant of this problem. Namely, we showed how to compute the probability that a randomly chosen tree satisfies a given formula. We additionally showed that this probability is an algebraic number. This closes a line of research where similar results were shown for formalisms weaker than the full monadic second-order logic. The talk will be based on a joint paper with Damian Niwiński and Michał Skrzypczak (LICS 2023). | |||
mardi 10 octobre | Ranko Lazic | TBA | en présence |
TBA | |||
mardi 17 octobre | Umang Mathur | TBA | en présence |
TBA | |||
mardi 7 novembre | Henry Sinclair-Banks | TBA | TBA |
TBA | |||
mardi 21 novembre à 16h | Markus Hecher | TBA | TBA |
TBA |