Andrzej Murawski (University of Oxford, United Kingdom) and Nikos Tzevelekos (Queen Mary University of London, United Kingdom)
In recent years game semantics has emerged as a robust paradigm for
giving semantics to a variety of logical systems and programming languages.
Its precision in modelling has subsequently led to original applications
in program analysis and model checking. This course is meant to provide a self-contained introduction to the field along with a brief survey of ongoing more applied work.