[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
=========================================================================================
5th Summer School on Security Testing and Verification (ST&V 2026)
September 7-8-9-10, Brussels, Belgium
https://urldefense.com/v3/__https://cybersecurity-research.be/summer-school-on-security-testing-and-verification-2026/__;!!IBzWLUs!VNd-YP9iaiRcPQvFenCV3rJGpAl_8J2YJDoJK_z7WTh42Al4d7tBJ1MXHzRcDQKtYcvR8oEE-KIcFAhSp84Zt13h4aC9D8zx0apDfB_6-WTa4A$
=========================================================================================
The Vrije Universiteit Brussel and KU Leuven are pleased to announce their 5th
Summer School on Security Testing and Verification.
It is aimed at researchers and PhD students who are interested in the fields of:
- security testing
- software verification
- static program analysis
- dynamic program analysis
- fuzz testing
- automated penetration testing
and more.
The 4-day program is taught in English and is organised on the Vrije
Universiteit Brussel campus, in Brussels (Belgium).
Participants will receive a certificate of attendance.
The following lecturers have confirmed:
* Jürgen Cito - TU Wien - Language Models as Penetration Testing Agents
* Marco Guarnieri - IMDEA Software Institute - Hardware-Software Leakage
Contracts: a Foundation for Principled Microarchitectural Security
* Philippa Gardner - Imperial College London - Gillian: a Multi-language
Platform for Compositional Symbolic Analysis
* Flavio Toffalini - Ruhr-Universität Bochum - Advanced Automatic Testing
* Xavier Rival - INRIA Paris - Abstract Interpretation for Security
* Bas Spitters - Aarhus University - Tools for High-assurance Cryptographic
Software
More information is available on the website:
https://urldefense.com/v3/__https://cybersecurity-research.be/summer-school-on-security-testing-and-verification-2026/__;!!IBzWLUs!VNd-YP9iaiRcPQvFenCV3rJGpAl_8J2YJDoJK_z7WTh42Al4d7tBJ1MXHzRcDQKtYcvR8oEE-KIcFAhSp84Zt13h4aC9D8zx0apDfB_6-WTa4A$
TUITION FEE
350€ : early bird fee, register before July 1
450€ : register as of July 1
The tuition fee includes all the classes and course materials, lunches, coffee
breaks, reception, and social dinner.
Accommodation is not included.
REGISTRATION PROCESS
To apply for the summer school, please send [email protected] a
cover letter with your motivation and background details (500 words max), as
well as your resume and a recommendation letter (PDFs only).
If your application is accepted, you’ll receive instructions on how to proceed
with the payment.
CO-CHAIRS
Prof. Dr. Coen De Roover, Vrije Universiteit Brussel, Belgium
Prof. Dr. Dominique Devriese, KU Leuven, Belgium
For more information:
[email protected]
https://urldefense.com/v3/__https://cybersecurity-research.be/summer-school-on-security-testing-and-verification-2026/__;!!IBzWLUs!VNd-YP9iaiRcPQvFenCV3rJGpAl_8J2YJDoJK_z7WTh42Al4d7tBJ1MXHzRcDQKtYcvR8oEE-KIcFAhSp84Zt13h4aC9D8zx0apDfB_6-WTa4A$
