CONFEST'26
CONCUR
QEST+FORMATS
FMICS
Workshops
Local Info
Registration
CONFEST 2026
Invited
Domain-Specific 3D Visualization of Formal Models
Max Richter, Fabian Vu
in
Room C
in session
FMICS Session 3
(on,
Fri, 10:30
,
90min
)
Other talks in FMICS Session 3:
Exploiting the Layout of a Railway Interlocking System for Path Reliability Evaluation
Lazy Three-Way Model Merging in Cinco Cloud: A Lattice-Theoretic Approach
Overview
Program
FMICS Program