Seminars are only broadcast if the speaker has granted permission. Streams will be available shortly before seminars begin.
Now showing
No seminar
Coming Soon
- Monday 10th - 16:00 - Tony Hoare - VSI: A Personal History of its Early Origins
- Monday 10th - 16:30 - Maurice Herlihy - Verifying Smart Contracts
- Monday 10th - 17:30 - Anca Muscholl - Learning Sound Negotiations
- Monday 10th - 18:00 - Ahmed Bouajjani - Verification of Concurrent Programs under Persistent Weak Memory Models
- Monday 10th - 18:30 - Rupak Majumdar - Random Testing and Formal Methods
- Tuesday 11th - 15:30 - Ilya Sergey - Practical Smart Contract Sharding with Ownership and Commutativity Analysis
- Tuesday 11th - 16:00 - Lars Birkedal - Program Verification on a Capability Machine in the Presence of Untrusted Code
- Tuesday 11th - 16:15 - Michal P. Heller - Resurgence in Relativistic Hydrodynamics: Bjorken Flow Results
- Tuesday 11th - 16:30 - Amal Ahmed - Verifying Soundness of Foreign-Function Interfaces
- Tuesday 11th - 17:30 - Viktor Vafeiadis - Making Stateless Model Checking Stateless Again
