TACAS: Probabilistic Systems
Chair: Kim Larsen
Room: Hollenfels
14:00
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains*
Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann and Tobias Winkler
14:30
CTMCs with Imprecisely Timed Observations
Thom Badings, Matthias Volk, Sebastian Junges, Marielle Stoelinga and Nils Jansen
15:00
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs
Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot and Sebastian Junges
15:30
Learning Explainable and Better Performing Representations of POMDP Strategies
Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Kretinsky and Stefanie Mohr
ESOP: Bidirectional typing / Session types
Chair: Ugo Dal Lago
Room: Schengen II
14:00
A formal treatment of bidirectional typing
Liang-Ting Chen and Hsiang-Shang Ko
14:30
Generic bidirectional typing for dependent type theories
Thiago Felicissimo
15:00
The Session Abstract Machine
Luis Caires and Bernardo Toninho
15:30
Deciding Subtyping for Asynchronous Multiparty Sessions
Elaine Li, Felix Stutz and Thomas Wies
FoSSaCS: Types and Programming Languages
Chair: James Worrell
Room: Diekirch-Echternach-Fischbach
14:00
From Rewrite Rules to Axioms in the lambdaPi-Calculus Modulo Theory
Valentin Blot, Gilles Dowek, Thomas Traversié and Théo Winterhalter
14:30
Light Genericity
Beniamino Accattoli and Adrienne Lancelot
15:00
Logical Predicates in Higher-Order Mathematical Operational Semantics
Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas and Henning Urbat
15:30
On Basic Feasible Functionals and the Interpretation Method
Patrick Baillot, Ugo Dal Lago, Cynthia Kop and Deivid Vale
Spin: Anniversary Track
Chair: Anton Wijs
Room: Schengen I
14:00
The Spin on Spin (keynote)
Gerald Holzmann
15:00
Two Decades of Industrializing Formal Verification: The Reactis Story
Rance Cleaveland, David Hansel, Steve Sims and Scott Smolka
15:30
Automated Reasoning in Quantum Circuit Compilation
Dimitrios Thanos, Alejandro Villoria, Sebastiaan Brand, Arend-Jan Quist, Jingyi Mei, Tim Coopmans and Alfons Laarman
Tool demo session
Room: Europe B