Update reading group title

focs-lab · Aug 29, 2024 · 2652412 · 2652412
1 parent c0690ef
commit 2652412
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/content/_index.md b/content/_index.md
@@ -44,7 +44,7 @@ sections:
 
         ### Reading Groups
         We currently run two reading groups. You may contact [Daniel](mailto:[email protected]) if you are interested to join.
-          1. [Automata](https://www.mimuw.edu.pl/~bojan/paper/automata-toolbox-book) (Wednesday 1-2pm @ COM3 MR21)
+          1. [Advanced Automata Theory](https://www.mimuw.edu.pl/~bojan/paper/automata-toolbox-book) (Wednesday 1-2pm @ COM3 MR21)
           2. Logic/Type Theory (Monday 5-6pm @ COM3 MR25)
 
   # - block: markdown