3:52

SPLASH Down Under 5-10 Dec 22

1:09

Leon Installing Hach Sensors

23:20

IFIP WG 2.4 Oct 2020 Talk on Confidentiality and Encapsulation

17:17

IFIP WG 2 4 November 2021 Talk by Alex Potanin Longer Version

3:52

SPLASH 2022 Promo (5-10 Dec 2022)

8:10

How to Attend SPLASH 2021 Virtually (or Physically)

0:32

Scala 3 (Dotty) Decidability Error

0:16

Java Decidability Error

12:57

IFIP WG 2.4 May 2021 Talk by Alex Potanin

6:10

How to Attend Virtual SPLASH 2020 (Quick Intro)