Tutorials and seminars
2008-now
- Burkhart Wolff: Interactive Theorem Proving with Isabelle. Master Course at the ENS Paris-Saclay. Spring term 2020/21.
- Burkhart Wolff: DigiCosme Spring School Tutorial "Model-based Testing", Supelec, Amphi F3-05, 23.4.13.
- Achim Brucker and Burkhart Wolff: The HOL-OCL Tutorial at the MoDELS 2008, Toulouse, 29.9.08. (slides)
- Burkhart Wolff : MS Research 2008. Extensible Object-Theories in HOL-OCL
- Burkhart Wolff : The HOL-Z Tutorial. Tutorial at the NII, Tokyo, 9.6.08. (slides).
Invited talks
- Feb 17, 2022: Talk @ "GT Deduction du LMF": Isabelle/DOF: A Framework for Proving Ontology-Relations and Runtime Testing Ontology Instances, video (Bad Quality)
- Dec 2, 2021: Talk @ "Journee verte du LMF": A Sound Type System for Physical Quantities, Units, and Measurements.
- Nov 15, 2021: Invited Talk by the Univ. Exeter: Modeling and Analysing Cyber-Physical Systems in HOL-CSP. (Research done within the SVR Project) The final report can be found here.
- Oct 27, 2017: Invited Talk at the Departments Colloquim Virginia Tech, Blacksburg, USA: Towards Verified and Certifiable Subsystems.
- July 19, 2017: Invited Tutorial at the 11th International Conference on Tests & ProofsA: Theorem Prover-based Testing: Combining Verification and Testing.
- Feb 17, 2017: Invited Talk at the Departments Colloquim at University of Sheffield, GB: Monadic Program-based Tests - An Exercise in Test and Proof.
- July 2015: Invited Talk at the Departments Colloquim University of York: Can Testing Be Liberated from the Automata Style ???
- March 2013: Using Theorem Provers for Testing. Invited Talk at the Digiteo Seminary, 20 march 2013, Supelec, Paris.
- October 2012: Parallelizing Interactive Theorem Provers: Challenges, Foundations and First Results. Invited Talk at the Journees communes LTP - LAC - LAMHA, 25 october 2012, LIFO, Orleans.
- September 2012: DigiWorlds (Polytechnique): Combining Formal Testing and Proving
- November 2010: CS-Department Colloquium, Univ. York, UK, Model-based Security Testing of a Health-Care System Architecture: A Case Study
- September 2010: "Brainstorming Workshop For Creation of Center of Excellence in Information and Communication Technology", Indian Institute of Technology (IIT), Jodpur, Rajastan:Formal Methods and its Relevance for Industry and Emmergent Markets
- August 2010: Workshop "Trusted Extensions of Interactive Theorem Provers", Cambridge University:Plugins for the Isabelle Platform: A Perspective for Logically Safe, Extensible, Powerful and Interactive Formal Method Tools
- May 2009: BT Research, Ipswich: Model-based Testing : Techniques and Industrial Applications
- May 2009: ETH Zürich, Information Security Group. HOL-Boogie: An Interactive Prover-Backend for the Verifying C Compiler