Kevin Kappelmann
Kevin Kappelmann
Affiliation: University of Sheffield
Talks
(Isabelle)
Safe Agentic Workflows for Isabelle · Papers 2c
Pages in this Program
Program
Program on Saturday, 25 July 2026
Isabelle on Saturday, 25 July 2026
Isabelle Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑