| 777 | -- | 803 | Pavel Jancík, Jan Kofron. On partial state matching |
| 805 | -- | 832 | Daniel Gâinâ. Birkhoff style calculi for hybrid logics |
| 833 | -- | 852 | Wim H. Hesselink. Tournaments for mutual exclusion: verification and concurrent complexity |
| 853 | -- | 875 | Robert J. Colvin, Ian J. Hayes, Larissa A. Meinicke. Designing a semantic model for a wide-spectrum language with concurrency |
| 877 | -- | 910 | Rumyana Neykova, Laura Bocchi, Nobuko Yoshida. Timed runtime monitoring for multiparty conversations |
| 911 | -- | 931 | Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller. Incremental bounded model checking for embedded software |