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 9 avril Arnaud Durand Enumeration Classes Defined by Circuits en présence
We refine the complexity landscape for enumeration problems by introducing very low classes defined by using Boolean circuits as enumerators. We locate well-known enumeration problems, e.g., from graph theory, Gray code enumeration, and propositional satisfiability in our classes. In this way we obtain a framework to distinguish between the complexity of different problems known to be computable with polynomial delay, for which a formal way of comparison was not possible to this day. The approach offers a different measure of efficient enumeration such as the one defined using Constant Delay in the context of enumeration for query answering. This is joint work with Nadia Creignou and Heribert Vollmer.
mardi 30 avril Akshay S. TBA en présence
TBA
mardi 21 mai Joost-Pieter Katoen TBA en ligne
TBA


Calendrier de l'équipe



Archives des années précédentes



Responsables

Igor Walukiewicz, Corto Mascle