|
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
|
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 |
Alexei Lisitsa
|
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
|
