8000 Update reading group info AGAIN · focs-lab/focs-lab.github.io@b5c52c0 · GitHub
[go: up one dir, main page]
Skip to content

Commit b5c52c0

Browse files
dwslimdwslim
committed
Update reading group info AGAIN
1 parent 2652412 commit b5c52c0

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

‎content/_index.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -43,9 +43,9 @@ sections:
4343
2. National Research Foundation, Singapore, and Cyber Security Agency of Singapore under its National Cybersecurity R&D Programme (Fuzz Testing \<NRF-NCR25-Fuzz-0001\>).
4444
4545
### 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. [Advanced Automata Theory](https://www.mimuw.edu.pl/~bojan/paper/automata-toolbox-book) (Wednesday 1-2pm @ COM3 MR21)
48-
2. Logic/Type Theory (Monday 5-6pm @ COM3 MR25)
46+
We currently run two reading groups on alternate weeks. We meet on Wednesday 1-2pm at COM3 MR20. You may contact [Daniel](mailto:dws.lim@nus.edu.sg) if you are interested to join.
47+
1. [Advanced Automata Theory](https://www.mimuw.edu.pl/~bojan/paper/automata-toolbox-book)
48+
2. Logic/Type Theory
4949
5050
# - block: markdown
5151
# content:

0 commit comments

Comments
 (0)
0