I will attend the CICM 2019 conference in Prague (08..12-Jul-2019) and deliver two invited talks as follows:
- MKM conference track: Interaction with Formal Mathematical Documents in Isabelle/PIDE (with slides) – Tuesday 09-Jul-2019 9:00–10:00
- LML workshop: Isabelle technology for the Archive of Formal Proofs with application to MMT (with slides) – Wednesday 10-Jul-2019 9:00–10:00