[TYPES/announce] SEFM Summer School 2022
m.roggenbach at swansea.ac.uk
Tue Jun 21 06:34:58 EDT 2022
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):
Eduard Enoiu (Mälardalen University, Sweden):
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,
Swansea University, UK
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Types-announce