Activiteiten

Activiteiten per jaar 2016 2016 2017 2018 2019 2020 2022 2022

• 4 Talk or presentation at a conference
• 2 Participation in workshop, seminar
• 1 Participation in conference
• 1 Talk or presentation at a workshop/seminar

Activiteiten per jaar

Zoekresultaten

• Summer School on Security Testing and Verification

  Noah Van Es (Chair)

  20 sep. 2022 → 22 sep. 2022

  Activiteit: 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. 2017

  Activiteit: Participation in workshop, seminar