Add reading group dates and venues

focs-lab · Aug 16, 2024 · 03bdc39 · 03bdc39
1 parent ced724c
commit 03bdc39
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/content/_index.md b/content/_index.md
@@ -44,8 +44,8 @@ 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)
-          2. Logic/Type Theory
+          1. [Automata](https://www.mimuw.edu.pl/~bojan/paper/automata-toolbox-book) (Tuesday 1-2pm @ COM3 MR21)
+          2. Logic/Type Theory (Monday 5-6pm @ COM3 MR25)
 
   # - block: markdown
   #   content: