With Martin Zimmermann, Associate Professor at the Department of Computer Science at Aalborg University, as primary organizer, this year’s MOVEP Summer School will be held in Aalborg at the CREATE building, June 13-17.

MOVEP offers a broad spectrum of current research in the area of control and verification of concurrent and reactive systems, addressing theoretical and applied aspects of model checking, controller synthesis, software verification, temporal logics, real-time and hybrid systems, stochastic systems, security, run-time verification, etc.

The summer school programme includes an exiciting line-up of speakers, tutorials, sessions where PhD students may present ongoing or published work, social activities and not least, a great opportunity to network with fellow researchers and students interested in this area of research.

Check out the MOVEP2022 website for details on speakers, registration, accommodation, etc.