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.

The volume will soon be published in the LNCS Festschrift series. A limited amount of hard copies will be available at the conference.

Hard and online copies are available at this link. You can freely access the online version at this link via SpringerLink until September 24th, 2017.

Useful information for the participants

A booklet with all the important information about the conference and the social event can be downloaded at this link.

Kim G. Larsen