10000 Update automata reading group time · focs-lab/focs-lab.github.io@f6b0bd0 · GitHub
[go: up one dir, main page]
Skip to content

Commit f6b0bd0

Browse files
dwslimdwslim
committed
Update automata reading group time
1 parent 92dbc9c commit f6b0bd0

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎content/_index.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -44,7 +44,7 @@ sections:
4444
4545
### Reading Groups
4646
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) (Tuesday 1-2pm @ COM3 MR21)
47+
1. [Automata](https://www.mimuw.edu.pl/~bojan/paper/automata-toolbox-book) (Wednesday 1-2pm @ COM3 MR21)
4848
2. Logic/Type Theory (Monday 5-6pm @ COM3 MR25)
4949
5050
# - block: markdown

0 commit comments

Comments
 (0)
0