commit 99c75ed6f987605461df196a7cc5e79b7c3fbd0e parent 1bc715511ae58067bf5a39d79588f1f0dc55204c Author: Antoine Amarilli <a3nm@a3nm.net> Date: Wed, 27 Oct 2021 21:14:17 +0200 seminars Diffstat:
| talks | | | 14 | ++++++++++++++ |
1 file changed, 14 insertions(+), 0 deletions(-)
diff --git a/talks b/talks @@ -1,4 +1,18 @@ Title: Dynamic Membership for Regular Languages +Date: 2022-01-13 +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.u-bordeaux.fr/ +Location: Bordeaux + +Title: Dynamic Membership for Regular Languages +Date: 2021-10-29 +Venue: icalp2021 +Url: inria_lille/amarilli2021dynamic_slides.pdf + +Title: Dynamic Membership for Regular Languages Date: 2021-09-17 Venue: highlights2021 Url: highlights2021/amarilli2021dynamic_slides.pdf