| Sun | Mon | Tue | Wed | Thu | Fri | Sat |
|---|---|---|---|---|---|---|
|
Webb: Büchi automata
1:30 pm
Webb: Büchi automata
May 1 @ 1:30 pm – May 1 @ 2:05 pm
Mohamed: Monoidal computer
2:10 pm
Mohamed: Monoidal computer
May 1 @ 2:10 pm – 2:45 pm
|
||||||