Multiple Speakers | 12/05/2021 | [VSOW03] Verified software: from theory to practice

Описание: FIRST Speaker: Professor Véronique Cortier (Lorraine Research Laboratory in Computer Science and its Applications)
Date: 12 May 2021 - 15:30 to 16:00
Venue: INI Seminar Room 1 - VIRTUAL
Session Title: Formal Verification of Security Protocols - The Example of Electronic Voting
Event: [VSOW03] Verified software: from theory to practice

SECOND Speaker: Dr Karthikeyan Bhargavan (INRIA)
Date: 12 May 2021 - 16:00 to 16:30
Venue: INI Seminar Room 1 - VIRTUAL
Session Title: Putting Verified Crypto into Your Web Browser
Event: [VSOW03] Verified software: from theory to practice

THIRD Speaker: Professor Justin Hsu (Cornell University)
Date: 12 May 2021 - 16:30 to 17:00
Venue: INI Seminar Room 1 - VIRTUAL
Session Title: Data-Driven Invariant Learning for Probabilistic Programs
Event: [VSOW03] Verified software: from theory to practice

FOURTH Speaker: Dr Zachary Kincaid (Princeton University)
Date: 12 May 2021 - 17:30 to 18:00
Venue: INI Seminar Room 1 - VIRTUAL
Session Title: Robust Program Analysis
Event: [VSOW03] Verified software: from theory to practice

FIFTH Speaker: Professor Jean-Francois Raskin (Université Libre de Bruxelles)
Date: 12 May 2021 - 18:00 to 18:30
Venue: INI Seminar Room 1 - VIRTUAL
Session Title: Monte Carlo Tree Search Guided by Symbolic Advice for MDPs
Event: [VSOW03] Verified software: from theory to practice

SIXTH Speaker: Dr Javier Esparza (Technische Universität München)
Date: 12 May 2021 - 18:30 to 19:00
Venue: INI Seminar Room 1 - VIRTUAL
Session Title: Verifying Almost-Sure Termination of Replicated Systems
Event: [VSOW03] Verified software: from theory to practice