TLA+ Tutorial 2021 at DISC 2021
3:26:51
Воркшоп: TLA+/TLC: практичный инструмент формальной верификаций алгоритмов. Алексей Найденов
1:22:32
Kotlin 2.0 and beyond by Anton Arhipov
57:26
Vienna Logic Day Lecture 2025 with Joao Marques-Silva
27:22
AI Is Making You An Illiterate Programmer
14:44
A gentle intro to TLA+
1:12:46
International Keynote: Prof. Martin Everett
1:38:56
Lec5Jan21MLasOptimization
25:00