CONFEST'26
CONCUR
QEST+FORMATS
FMICS
Workshops
Local Info
Registration
CONFEST 2026
Invited
Consistency proofs for axiomatic extensions: translating VerCors's Axiomatic Data Types into Isabelle
Edoardo Putti, Alexander Stekelenburg
in
Room C
in session
FMICS Session 2
(on,
Thu, 15:00
,
60min
)
Other talks in FMICS Session 2:
Reasoning about concurrent loops and recursion with rely-guarantee rules
Overview
Program
FMICS Program