Activities per year
Activities
- 2 results
Search results
-
Summer School on Security Testing and Verification
Noah Van Es (Chair)
20 Sept 2022 → 22 Sept 2022Activity: Participating in or organising an event › Participation in workshop, seminar
-
The 2nd Winter School in Engineering and Computer Science on Formal Verification
Noah Van Es (Participant)
17 Dec 2017 → 21 Dec 2017Activity: Participating in or organising an event › Participation in workshop, seminar