From Program Equivalences to Program Metrics - Ugo Dal Lago [3/4]
1:21:36
From Program Equivalences to Program Metrics - Ugo Dal Lago [4/4]
1:19:47
Kleene Algebras and Applications - Alexandra Silva [3/4]
15:50
FULL REMARKS: JD Vance Puts European Leaders On Notice About Trying To Regulate U.S. Tech Giants
2:00:00
Dark Violin & Cello Music for Deep Focus
14:12
Trump Offers HUGE Concessions to Putin, RFK Jr Made Health Czar & Aunt Chippy Meets Oscar the Grouch
1:19:26
From Program Equivalences to Program Metrics - Ugo Dal Lago [1/4]
1:24:39
Information-flow Control Libraries - Alejandro Russo [3/4]
1:16:17