[TYPES/announce] 2nd Summer School on Security Testing and Verification
Coen DE ROOVER
Coen.De.Roover at vub.be
Mon Jun 26 04:25:06 EDT 2023
===================================================================================================
2nd Summer School on Security Testing and Verification
11-12-13 September, Brussels, Belgium
https://urldefense.com/v3/__https://cybersecurity-research.be/summer-school-on-security-testing-and-verification-2023__;!!IBzWLUs!VGTL2zQ20PANaIh1msZ6slKn9Nm24g6-VtzfWgaonZT34nYV-HyF2-fWnsytziIv1okmvb1CjM3eyjndT6NnIGGk5Ep9AGGywBASSaiq$
===================================================================================================
The Vrije Universiteit Brussel and KU Leuven are pleased to announce their 2nd Summer School on Security Testing and Verification.
It is aimed at researchers and PhD students who are interested in the fields of:
- static and dynamic security testing
- software verification
- automated threat modelling
- security by design
and more.
The 3-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:
* Bernhard Berger, Hamburg University of Technology, Germany - https://urldefense.com/v3/__https://bergerbd.de__;!!IBzWLUs!VGTL2zQ20PANaIh1msZ6slKn9Nm24g6-VtzfWgaonZT34nYV-HyF2-fWnsytziIv1okmvb1CjM3eyjndT6NnIGGk5Ep9AGGywO9KE2_k$
* Neville Grech, University of Malta, Malta - https://urldefense.com/v3/__https://www.nevillegrech.com__;!!IBzWLUs!VGTL2zQ20PANaIh1msZ6slKn9Nm24g6-VtzfWgaonZT34nYV-HyF2-fWnsytziIv1okmvb1CjM3eyjndT6NnIGGk5Ep9AGGywHtGHTpt$
* Vincent Laporte, INRIA Nancy, France - https://urldefense.com/v3/__https://members.loria.fr/VLaporte/__;!!IBzWLUs!VGTL2zQ20PANaIh1msZ6slKn9Nm24g6-VtzfWgaonZT34nYV-HyF2-fWnsytziIv1okmvb1CjM3eyjndT6NnIGGk5Ep9AGGywE1DOj5V$
* Michaël Marcozzi, Université Paris-Saclay, CEA List, France - https://urldefense.com/v3/__https://sites.google.com/view/michaelmarcozzi/__;!!IBzWLUs!VGTL2zQ20PANaIh1msZ6slKn9Nm24g6-VtzfWgaonZT34nYV-HyF2-fWnsytziIv1okmvb1CjM3eyjndT6NnIGGk5Ep9AGGywE7fQ4ZH$
* Burcu Kulahcioglu Ozkan, TU Delft, The Netherlands - https://urldefense.com/v3/__https://burcuku.github.io/home/__;!!IBzWLUs!VGTL2zQ20PANaIh1msZ6slKn9Nm24g6-VtzfWgaonZT34nYV-HyF2-fWnsytziIv1okmvb1CjM3eyjndT6NnIGGk5Ep9AGGywGxWfAnY$
* Jules Villard, Meta London, United Kingdom - https://urldefense.com/v3/__http://jules.pauvre.org__;!!IBzWLUs!VGTL2zQ20PANaIh1msZ6slKn9Nm24g6-VtzfWgaonZT34nYV-HyF2-fWnsytziIv1okmvb1CjM3eyjndT6NnIGGk5Ep9AGGywGjiEYZX$
More information is available on the website:
https://urldefense.com/v3/__https://cybersecurity-research.be/summer-school-on-security-testing-and-verification-2023__;!!IBzWLUs!VGTL2zQ20PANaIh1msZ6slKn9Nm24g6-VtzfWgaonZT34nYV-HyF2-fWnsytziIv1okmvb1CjM3eyjndT6NnIGGk5Ep9AGGywBASSaiq$
TUITION FEE
250€ : early bird fee, register before 31 July
350€ : register as of 1 August
The tuition fee includes all the classes and course materials, lunches, coffee breaks, and social dinner.
Accommodation is not included.
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
Dr. Koen Yskout, 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-2023__;!!IBzWLUs!VGTL2zQ20PANaIh1msZ6slKn9Nm24g6-VtzfWgaonZT34nYV-HyF2-fWnsytziIv1okmvb1CjM3eyjndT6NnIGGk5Ep9AGGywBASSaiq$
More information about the Types-announce
mailing list