SEFM Summerschool 2022

Dates and Location

21.9. - 24.9.2022

Johann von Neumann-Haus, Rudower Chaussee 25, Adlershof, Berlin, Germany

Courses

  • Dirk Beyer (Ludwig-Maximilians-Universität München, Germany): Software Verification
  • Michael Fisher (University of Manchester, UK): Design and Verification of Reliable Autonomous Systems

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

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

Fees

500 Euro (including lunch and refreshments and a summer school dinner)

Registration

Registration is via the SEFM-Registration WebPage

Director and Contact

Markus Roggenbach (Swansea University, UK), email: M[dot]Roggenbach[at]swansea[dot]ac[dot]uk