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