Skræddersyet kursus skal tænde de unge forskeres indre iværksætterild
21. juni 2022
I slutningen af maj samledes 55-60 yngre forskere fra de datalogiske institutter på tværs af hele landet for at blive undervist i iværksætteri.
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. juni 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.
