Creative Commons
| Preface Roberto M. Amadio | ||
| Footprints in Local Reasoning | ||
| Mohammad Raza and Philippa Gardner | ||
| Solving Simple Stochastic Games with Few Random Vertices | ||
| Hugo Gimbert and Florian Horn | ||
| RPO, Second-order Contexts, and Lambda-calculus | ||
| Pietro Di Gianantonio, Furio Honsell and Marina Lenisa | ||