a conference in honour of Kim G. Larsen on the occasion of his 60th birthday,
Aalborg University, 19-20 August 2017.


Kim G. Larsen has made major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logics, and model checking. His work is characterized by a harmonious blend of theory, practice, and concern for industrial application, and it has been instrumental in making connections between different research areas and communities.

The conference will feature invited talks by many of Kim's friends and collaborators. We warmly invite everyone to participate. Information on how to register can be found here.


Friends, close collaborators, and former doctoral students have contributed to a volume of essays dedicated to Kim G. Larsen.

Hard copies are available at this (broken link). You can find information about it at this (broken link) or access the online version at (broken link).

Kim G. Larsen