We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ced724c commit 03bdc39Copy full SHA for 03bdc39
content/_index.md
@@ -44,8 +44,8 @@ sections:
44
45
### Reading Groups
46
We currently run two reading groups. You may contact [Daniel](mailto:dws.lim@nus.edu.sg) if you are interested to join.
47
- 1. [Automata](https://www.mimuw.edu.pl/~bojan/paper/automata-toolbox-book)
48
- 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)
49
50
# - block: markdown
51
# content:
0 commit comments