MOVEP 2022: Five Intensive Days on Modelling and Verification

17 June 2022
The five-day MOVEP Summer School 2022 on modelling and verification of parallel processes had attracted 70+ participants, primarily PhD students, but also people from the industry.

MOVEP 2022

13-17 June 2022
MOVEP is a five-day PhD summer school on modelling and verification of infinite state systems. It aims to bring together researchers and students working in the fields of control and verification of concurrent and reactive systems.

Young Researcher Entrepreneurship Academy

22-24 May 2022
Join the Young Researcher Entrepreneurship Academy PhD summer school to grow your entrepreneurial mindset and learn how that can benefit both your current research and future career.