commit 8a9bbe3b70db389d552b9471ed7ebce39700bd30 parent 2e72322acaa5eba1e6a91bf1720910c0b8756347 Author: Antoine Amarilli <a3nm@a3nm.net> Date: Wed, 21 Feb 2024 18:09:01 +0100 grenoble Diffstat:
| talks | | | 11 | +++++++++++ |
1 file changed, 11 insertions(+), 0 deletions(-)
diff --git a/talks b/talks @@ -1,3 +1,14 @@ +Title: Efficient Enumeration of Query Answers via Circuits +Date: 2024-03-19 +Venue: National Days of $TEAM +VenueFr: Journées Nationales du $TEAM +VenueURL: https://jnim2024.sciencesconf.org/ +Team: GDR IFM +TeamURL: https://www.gdr-im.fr/ +Place: Maison de la création et de l'innovation +PlaceURL: https://www.univ-grenoble-alpes.fr/universite/ambition-et-strategie/les-realisations-emblematiques/la-maison-de-la-creation-et-de-l-innovation-maci-/la-maison-de-la-creation-et-de-l-innovation--334056.kjsp +Location: Grenoble + Title: Bounded-Delay Enumeration of Regular Languages Date: 2024-03-05 Venue: Seminar of the Formal Methods team