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 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


Calendrier de l'équipe



Archives des années précédentes



Responsables

Igor Walukiewicz, Corto Mascle