[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
