Youtube With Subtitle

2020

Oct 13
NetHui 2020: Arbiter: A New Disinformation Fighting Non-Profit (Jon Bell)
Oct 2
Checking safety in Exactly-once - Tomek Masternak, Szymon Pobiega
Oct 1
An Extension of PlusCal for Modeling Distributed Algorithms - Heba Alkayed et al.
Mar 8
Acterys Visual Planning