diff --git a/content/_index.md b/content/_index.md index 21fe8f1..7dd799d 100644 --- 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:dws.lim@nus.edu.sg) 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