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.
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.