[TYPES/announce] 2nd Call for participation: 4th Summer School on Security Testing and Verification (ST&V 2025) - Brussels, Belgium

[Dominique Devriese]

===================================================================================================
4th Summer School on Security Testing and Verification (ST&V 2025)
July 7-8-9-10, Brussels, Belgium
https://urldefense.com/v3/__https://cybersecurity-research.be/summer-school-on-security-testing-and-verification-2025__;!!IBzWLUs!RwcXEEYJNqEFcEwIzC0n4k_Isy7zBCcuvNRF4Ta9LeWz4qLJjlGa_-ID143VunRXqySgLSw9BXHRT55Ea2ThdGmfofmSQ6qDQr-LoU_KJLFgzw$ 
===================================================================================================

The Vrije Universiteit Brussel and KU Leuven are pleased to announce their 4th 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
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 (lecture titles are tentative):
* Caterina Urban, Inria Antique + École Normale Supérieure, https://urldefense.com/v3/__https://caterinaurban.github.io__;!!IBzWLUs!RwcXEEYJNqEFcEwIzC0n4k_Isy7zBCcuvNRF4Ta9LeWz4qLJjlGa_-ID143VunRXqySgLSw9BXHRT55Ea2ThdGmfofmSQ6qDQr-LoU8V-znNxw$  - Abstract Interpretation for Securing ML Code
* Thomas Jensen, University of Copenhagen + Inria Rennes + , https://urldefense.com/v3/__https://people.rennes.inria.fr/Thomas.Jensen/__;!!IBzWLUs!RwcXEEYJNqEFcEwIzC0n4k_Isy7zBCcuvNRF4Ta9LeWz4qLJjlGa_-ID143VunRXqySgLSw9BXHRT55Ea2ThdGmfofmSQ6qDQr-LoU-P2TLNgQ$  - Static Program Analyses for Security
* Vincent Cheval, University of Oxford, https://urldefense.com/v3/__https://www.cs.ox.ac.uk/people/vincent.cheval/__;!!IBzWLUs!RwcXEEYJNqEFcEwIzC0n4k_Isy7zBCcuvNRF4Ta9LeWz4qLJjlGa_-ID143VunRXqySgLSw9BXHRT55Ea2ThdGmfofmSQ6qDQr-LoU8CEeYloQ$  - Formal Verification of Cryptographic Protocols using ProVerif
* Aymeric Fromherz, Inria Paris, https://urldefense.com/v3/__https://aymericfromherz.github.io__;!!IBzWLUs!RwcXEEYJNqEFcEwIzC0n4k_Isy7zBCcuvNRF4Ta9LeWz4qLJjlGa_-ID143VunRXqySgLSw9BXHRT55Ea2ThdGmfofmSQ6qDQr-LoU9CxVSnhg$ ,  High-Assurance Verification of Security-critical Low-level code using F* and Low*
* Yannic Noller, Ruhr University Bochum, https://urldefense.com/v3/__https://yannicnoller.github.io__;!!IBzWLUs!RwcXEEYJNqEFcEwIzC0n4k_Isy7zBCcuvNRF4Ta9LeWz4qLJjlGa_-ID143VunRXqySgLSw9BXHRT55Ea2ThdGmfofmSQ6qDQr-LoU8gsc-QHA$ , Blackbox and Whitebox Fuzzing for Security
* Mate Soos, Ethereum Foundation, https://urldefense.com/v3/__https://www.msoos.org/__;!!IBzWLUs!RwcXEEYJNqEFcEwIzC0n4k_Isy7zBCcuvNRF4Ta9LeWz4qLJjlGa_-ID143VunRXqySgLSw9BXHRT55Ea2ThdGmfofmSQ6qDQr-LoU-GkEvVGA$ , Formal Verification of Ethereum Smart Contracts


More information is available on the website:
https://urldefense.com/v3/__https://cybersecurity-research.be/summer-school-on-security-testing-and-verification-2025__;!!IBzWLUs!RwcXEEYJNqEFcEwIzC0n4k_Isy7zBCcuvNRF4Ta9LeWz4qLJjlGa_-ID143VunRXqySgLSw9BXHRT55Ea2ThdGmfofmSQ6qDQr-LoU_KJLFgzw$ 

TUITION FEE
350€ : early bird fee, register before June 1
450€ : register as of June 1

The tuition fee includes all the classes and course materials, lunches, coffee breaks, reception, and social dinner.
Accommodation is not included.

Please note that, in contrast to previous editions, this edition will take place in July rather than September.

REGISTRATION PROCESS
To apply for the summer school, please send summerschool-stv at cs.kuleuven.be 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:
summerschool-stv at cs.kuleuven.be
https://urldefense.com/v3/__https://cybersecurity-research.be/summer-school-on-security-testing-and-verification-2025__;!!IBzWLUs!RwcXEEYJNqEFcEwIzC0n4k_Isy7zBCcuvNRF4Ta9LeWz4qLJjlGa_-ID143VunRXqySgLSw9BXHRT55Ea2ThdGmfofmSQ6qDQr-LoU_KJLFgzw$ 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250414/627aa269/attachment-0001.htm>