Email Gateway (Jul 14 2026 at 09:58): Email Gateway (Jul 14 2026 at 09:58):From: "Achim D. Brucker" <adbrucker@0x5f.org>
Subject: [isabelle] VeTSS Summer School 2026 (registration closes 17 July)
Dear all,
We are hosting this year the VeTSS summer school in Exeter. As part of
the summer school, we (Diego Marmsoler and I) will offer an introduction
into Isabelle that aims to give a brief introduction into both proving
and developing with Isabelle. Hence, it might be of interested for some
people on the Isabelle users mailing list.
When and where: Henderson Lecture Theatre, Xfi Building, Streatham
Campus, University of Exeter, on 3–6 August 2026.
Registration:
https://docs.google.com/forms/d/e/1FAIpQLScNwckwO1DpfklZ1IcP6Yz8vVTKje7AEYviLUGFWIZ7xGhF4A/viewform?usp=header
If you’re a PhD student, postdoc, or early-career researcher interested
in software verification, formal methods, or trustworthy systems, this
is your last chance to secure a place. Any questions, just contact the
main organisers at contact@vetss.org.uk.
Best,
Achim
--
Prof. Achim Brucker | Chair in Cybersecurity & Head of Group |
University of Exeter
https://www.brucker.ch | https://logicalhacking.com/blog
@adbrucker | @logicalhacking
Last updated: Jul 22 2026 at 14:00 UTC