Talks
Conferences
- Frank, M. (2025): On Embedding Code Extracted From Coq Formalisations into Data Analysis Workflows. 5th conference for Research Software Engineering in Germany, 25-27.02.2025, KIT, Karlsruhe, Germany.
- Frinker, N.; Frank, M. (2023): Eine vertrauenswürdige, sichere Public Cloud - Utopie oder Realität? 19. Deutscher IT-Sicherheitskongress, 10. - 11.05.2023.
Workshops/Symposia
- Frank, M.; Egger, M.; Otto, A.; Kreitz, Chr. (2023): Bringing Synthesised Software to a Real-World Microkernel Operating System. The 35th Symposium on Implementation and Application of Functional Languages, IFL 2023, 29-31.08.2023, Braga, Portugal.
- Frank, M (2020): The Coq Proof Script Visualiser (coq-psv). 11th Coq Workshop, colocated with IJCAR ’20. July 2020
- Frank, M.; Kreitz, Chr. (2017): A theorem prover for scientific and educational purposes. ThEdu'17 - Theorem proving components for Educational software, 6 August 2017, Gothenburg, Sweden, at CADE26
Scientific Activities
Journal Reviews
Artifact Evaluation
- International Conference on Functional Programming (ICFP 2025, 3 Reviews)
- Symposium on Principles of Programming Languages (POPL 2025, POPL 2026, 4 Reviews)
- European Conference on Object-Oriented Programming (ECOOP 2026, 2 Reviews)
- International Conference on Integrated Formal Methods (iFM 2023, iFM 2024, 3 Reviews)
Publications
ORCID work data not found.