publist

commit 24276e5b1114e8d5dfb3c9264866dd59d3a7e39a
parent 585bf58118fe0f19a2b0b28aeabdfb1add1cd40e
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Tue, 29 Sep 2026 01:05:45 +0200

talks

Diffstat:
talks
 | 
3
++-

1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/talks b/talks
@@ -9,7 +9,7 @@ Place: LIS
 PlaceUrl: https://www.lis-lab.fr/
 Location: Marseille
 
-Title: TBA
+Title: Out-of-Order Membership in Regular Languages
 Date: 2026-09-29
 Venue: Seminar of the Formal Methods team
 VenueFr: séminaire de l'équipe Méthodes Formelles
@@ -17,6 +17,7 @@ VenueUrl: https://mf.labri.fr/
 Place: LaBRI
 PlaceUrl: https://www.labri.fr/
 Location: Bordeaux
+Url: labri/amarilli2026out_slides.pdf
 
 Title: Making Database Research Sustainable
 Date: 2026-08-11