Chair: Larry Paulson

• 14:00: Makarius Wenzel. Isabelle NEWS and trends in 2020.
• 14:30: Andreas Lochbihler, Ognjen Marić. Authenticated Data Structures as Functors in Isabelle/HOL.
• 15:00: Martin Desharnais, Stefan Brunthaler. A Generic Framework for Verified Compilers Using Isabelle/HOL's Locales.