The proceedings contain 37 papers. The topics discussed include: monitorability for the modal mu-calculus over systems with data: from practice to theory; characterizations of fragments of temporal logic over Mazurkiewicz traces; temporal explorability games; model checking as program verification by abstract interpretation; a sound and complete characterization of fair asynchronous session subtyping; languages of boundedly-ambiguous vector addition systems with states; on the send-synchronizability problem for mailbox communication; a state-based O(m log n) partitioning algorithm for branching bisimilarity; and expressive equivalence between decidable freeze and metric timed temporal logics.
A Mon, study studied this question.