Verification Series

Past Talks: 2019/20 Session

Date Speaker Title
01 Oct 2019
Martin Zimmermann

HyperLTL: A Specification Language for Information-flow Properties
15 Oct 2019
Patrick Totzke

Timed Basic Parallel Processes
23 Oct 2019
ACTO
Aris Filos-Ratsikas

University of Liverpool
Necklace Splitting and Natural PPA-Complete Problems
12 Nov 2019
Marie Fortin

FO = FO3 for Linear Orders with Monotone Binary Relations
20 Nov 2019
ACTO
Dr Andrew Ryzhikov

Universit� Paris-Est Marne-la-Vall�e
Synchronization of finite automata
26 Nov 2019
Marie Farrell

Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages
18 Feb 2020

Lightning Talk: Experiences in the meeting on Formal methods in Mathematics/Lean together 2020
18 Feb 2020
Martin Zimmermann

Lightning talk: 2-dimensional Average-energy Games
27 Feb 2020
Paritosh Pandya

Tata Institute of Fundamental Research, Mumbai
Logical Specification and Optimal Synthesis of Robust Controllers and Runtime Enforcement Shields
03 Mar 2020
Sven Linker

Notions of Bisimulations on Neighbourhood Spaces
31 Mar 2020
Martin Zimmermann

From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics
14 Apr 2020
Rasmus Ibsen-Jensen

One-Clock Priced Timed Games are PSPACE-hard
12 May 2020
Karoliina Lehtinen

Good-for-games omega-pushdown automata
09 Jun 2020
Patrick Totzke

Parametrized Universality Problems for One-Counter Nets
18 Aug 2020
Isa Vialard

(Bi)simulation checking for Gap-order Systems

Older Seminars
ordered by Academic Year



Other seminar series