No seminar (Arjen's PhD defense on Thursday)
t.b.a.
Date: Wed, October 13, 2021
Time: 12:00
Room: t.b.a.
Previous:
Jesper Cockx | Representing variables and scopes for Agda Core
Next:
| Defense Arjen Rouvoet