The slides for my presentations at FLoC 2018 (Oxford) are now available via the official “smart slide” service:
- Further Scaling of Isabelle Technology (with paper), on Fri 13-Jul-2018 at the Isabelle workshop
- Isabelle/PIDE after 10 years of development (with paper), on Fri 13-Jul-2018 at the UITP workshop
- Isabelle/jEdit as IDE for domain-specific formal
languages and informal text documents (with paper via EPTCS), on Sat 14-Jul-2018 at the F-IDE workshop