Department of Computer Science

Get Ready for the MOVEP Summer School 2022 in Aalborg

Get Ready for the MOVEP Summer School 2022 in Aalborg

The Department of Computer Science, Aalborg University, will be hosting the 15th edition of the MOVEP summer school, June 13-17, 2022. Sign up for a five-day summer school on modelling and verification of parallel processes bringing together researchers, students, and people from industry working in the fields of control and verification of concurrent and reactive systems.

Time

13.06.2022 kl. 09.00 - 17.06.2022 kl. 17.30

Description

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 in 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 exciting 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 program, speakers, registration, accommodation, etc.

Department of Computer Science, Aalborg University

Selma Lagerlöfs Vej 300  ・ 9220 Aalborg East, Denmark 
Telephone: +45 9940 9940  ・ Mail: info@cs.aau.dk

Contact department management