commit 3a4d38fc16b552ab3088b18ba8c246ca5fc0c934 parent 2f3bd76c469fe2109bc8a35be9dedde53d5f7b2e Author: Antoine Amarilli <a3nm@a3nm.net> Date: Tue, 28 Nov 2023 11:12:15 -0800 +1 Diffstat:
| talks | | | 9 | +++++++++ |
1 file changed, 9 insertions(+), 0 deletions(-)
diff --git a/talks b/talks @@ -1,3 +1,12 @@ +Title: Bounded-Delay Enumeration of Regular Languages +Date: 2024-03-05 +Venue: Seminar of the Formal Methods team +VenueFr: séminaire de l'équipe Méthodes Formelles +VenueUrl: https://mf.labri.fr/ +Place: LaBRI +PlaceUrl: https://www.labri.fr/ +Location: Bordeaux + Title: Query Evaluation: Enumeration, Maintenance, Reliability Date: 2024-01-25 Venue: $TEAM laboratory seminar