skip to content
 

Seminars calendar

Unable to attend an INI seminar?
Most seminars are streamed live as well as being archived for later viewing.

Watch online Search archive

Event When Speaker Title
VSOW03 10th May 2021
16:00 to 16:30
Tony Hoare VSI: A Personal History of its Early Origins
VSOW03 10th May 2021
16:30 to 17:00
Maurice Herlihy Verifying Smart Contracts
VSOW03 10th May 2021
17:30 to 18:00
Anca Muscholl Learning Sound Negotiations
VSOW03 10th May 2021
18:00 to 18:30
Ahmed Bouajjani Verification of Concurrent Programs under Persistent Weak Memory Models
VSOW03 10th May 2021
18:30 to 19:00
Rupak Majumdar Random Testing and Formal Methods
VSOW03 11th May 2021
15:30 to 16:00
Ilya Sergey Practical Smart Contract Sharding with Ownership and Commutativity Analysis
VSOW03 11th May 2021
16:00 to 16:30
Lars Birkedal Program Verification on a Capability Machine in the Presence of Untrusted Code
ARA 11th May 2021
16:15 to 17:15
Michal P. Heller Resurgence in Relativistic Hydrodynamics: Bjorken Flow Results
VSOW03 11th May 2021
16:30 to 17:00
Amal Ahmed Verifying Soundness of Foreign-Function Interfaces
VSOW03 11th May 2021
17:30 to 18:00
Viktor Vafeiadis Making Stateless Model Checking Stateless Again
VSOW03 11th May 2021
18:00 to 18:30
Aarti Gupta Interpretation of Distributed Network Control Planes
VSOW03 11th May 2021
18:30 to 19:00
Alexandra Silva Prognosis: Black-Box Analysis of Network Protocol Implementations
VSOW03 12th May 2021
15:30 to 16:00
Véronique Cortier Formal Verification of Security Protocols - The Example of Electronic Voting
VSOW03 12th May 2021
16:00 to 16:30
Karthikeyan Bhargavan Putting Verified Crypto into Your Web Browser
VSOW03 12th May 2021
16:30 to 17:00
Justin Hsu Data-Driven Invariant Learning for Probabilistic Programs
VSOW03 12th May 2021
17:30 to 18:00
Zachary Kincaid Robust Program Analysis
VSOW03 12th May 2021
18:00 to 18:30
Jean-Francois Raskin Monte Carlo Tree Search Guided by Symbolic Advice for MDPs
VSOW03 12th May 2021
18:30 to 19:00
Javier Esparza Verifying Almost-Sure Termination of Replicated Systems
VSOW03 13th May 2021
15:30 to 16:00
Hongseok Yang Towards Verified Stochastic Variational Inference for Probabilistic Programs
ARA 13th May 2021
16:00 to 17:00
Benjamin Withers From quasinormal modes to constitutive relations
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons