publist

commit 00e04c2c977f03e94eda4944fff563c4f1ec6906
parent baaa2d5bf696b6edc1f440bd18ff1e16609e391a
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Wed, 19 Nov 2025 09:12:56 +0100

Merge branch 'master' of a3nm.net:git/publist

Diffstat:
maketex.py
 | 
3
+++
publis
 | 
2
+-
talks
 | 
2
+-

3 files changed, 5 insertions(+), 2 deletions(-)
diff --git a/maketex.py b/maketex.py
@@ -201,7 +201,10 @@ fmtdict = {
         }
 
 if __name__ == '__main__':
+    seen = set()
     for publi in parse('publis'):
+        assert (publi['id'] not in seen)
+        seen.add(publi['id'])
         if thepubli not in ["all"]:
             if thepubli == "cv" or not thepubli:
                 if publi.get('reviewed', "no") == "no":
diff --git a/publis b/publis
@@ -1,4 +1,4 @@
-Id: amarilli2025confluence
+Id: amarilli2025locality
 Title: Locality Testing for NFAs is PSPACE-complete
 Authors: me mikael rdepretto
 Status: draft
diff --git a/talks b/talks
@@ -1,5 +1,5 @@
 Title: Regular Languages: Some New Problems and Algorithms
-Date: 2025-11-19
+Date: 2025-11-26
 Venue: SIESTE seminar
 VenueFr: séminaire SIESTE
 VenueURL: https://perso.ens-lyon.fr/michele.pagani/sieste.html