[TYPES/announce] SEFM Summer School 2022

[Markus Roggenbach]

Dear Friends and Colleagues,

Today, I would like to draw your attention to the SEFM Summer School 2022, affiliated with the SEFM Conference 2022 in Berlin, Germany. The school addresses various topics of software engineering of dependable systems, their verification, how to guarantee their security, and how to design autonomous and self-adaptive systems.



At the SEFM Summer School, four internationally renowned researchers will present courses that provide an introduction, an overview of current techniques, and perspectives within their areas of specialisation for PhD students in Computer Science, namely:



Dirk Beyer (Ludwig-Maximilians-Universität München, Germany):
Software Verification



Eduard Enoiu (Mälardalen University, Sweden):
Security Testing



Michael Fisher (University of Manchester, UK):
Design and Verification of Reliable Autonomous Systems



Danny Weyns (Katholieke Universiteit Leuven, Belgium; and Linnaeus University Sweden):
Designing Self-adaptive Systems

You can find more details on these courses on the Summer School’s Web Page



https://urldefense.com/v3/__https://sefm-summerschool-22.github.io__;!!IBzWLUs!R6XiyEMPxxMrnb1lqF1l8kOjW_TzmE67rRNGbJBfriT6wZ1d7b_foiVuTQtFcjv1MQmJTBwhFKgLZDe3E7NI84ZmPTzvNwf7iDw6Mtljeg$ <https://urldefense.com/v3/__https://eur03.safelinks.protection.outlook.com/?url=https*3A*2F*2Fsefm-summerschool-22.github.io*2F&data=05*7C01*7CM.Roggenbach*40Swansea.ac.uk*7Cb9ac058b84dd4625bbd908da52dec67d*7Cbbcab52e9fbe43d6a2f39f66c43df268*7C0*7C0*7C637913414004868970*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000*7C*7C*7C&sdata=bOrGEZVKmqM*2FkuDEkKxEUDOqa1hkAdG8Xl4yg*2BWlWww*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJQ!!IBzWLUs!R6XiyEMPxxMrnb1lqF1l8kOjW_TzmE67rRNGbJBfriT6wZ1d7b_foiVuTQtFcjv1MQmJTBwhFKgLZDe3E7NI84ZmPTzvNwf7iDyeZavnWg$ >



The Summer School will happen 21.9. - 24.9.2022, the week just before the SEFM main conference. Fees are €500 per student (including lunches, refreshments, and a Summer School dinner).



Please be so kind as to encourage your students to participate, and to distribute this call to possibly interested people.



With kind regards,
  Markus Roggenbach
  Swansea University, UK
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220621/76c07374/attachment.htm>