| 2026 | Bisimulations and Modal Logics for Higher Dimensional Automata. | Safa Zouari, Rob van Glabbeek, Krzysztof Ziemianski |
| 2026 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2026 | On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics. | Marnix Suilen, Guillermo A. Prez |
| 2026 | Graded Semantics of Nominal Systems. | Hannes Schulze, Lutz Schrder, same Cengiz |
| 2026 | A Coalgebraic Dijkstra Algorithm (Invited Talk). | Takahiro Sanada, Yov Montacute, Kittiphon Phalakarn, Ichiro Hasuo |
| 2026 | GKAT with Hoare Hypotheses. | Jurriaan Rot, Todd Schmid, Jana Wagemaker |
| 2026 | An Introduction to Multi-Environment Markov Decision Processes (Invited Talk). | Jean-Franois Raskin |
| 2026 | Concurrent Visibility: Higher-Order Concurrency with First-Order Store. | Iwan Qumerais, Guilhem Jaber, Ken Sakayori, Davide Sangiorgi |
| 2026 | Positional Properties in Temporal Logic. | Jessica Newman, Benjamin Plummer |
| 2026 | Prophecy-Based Automated Verification of Message-Passing Programs. | Takashi Nagatomi, Musashi Katsura, Naoki Kobayashi, Yusuke Matsushita, Ken Sakayori |
| 2026 | Continuous Algebras with Hypotheses. | Lukas Mulder, Damien Pous, Jana Wagemaker |
| 2026 | Minimal and Canonical Quotients for Simulation Equivalences. | Eduardo Costa Martins, Tim A. C. Willemse |
| 2026 | Word Automata with Limited Nondeterminism (Invited Talk). | Yong Li, Soumyajit Paul, Sven Schewe, Qiyi Tang |
| 2026 | On the Encodability of Reversible Process Calculi. | Ivan Lanese, Claudio Antares Mezzina, Iain Phillips, Irek Ulidowski, Shoji Yuen |
| 2026 | Coinductive Reasoning for Parametrized Functors and Monads. | Ugo Dal Lago, Zeinab Galal |
| 2026 | Classification Under Uncertainty. | Orna Kupferman, Ofer Leshkowitz |
| 2026 | From Coalgebraic Determinization to Belief Construction for Partial Observability. | Mayuko Kori, Kazuki Watanabe |
| 2026 | Compositionality in Coalgebraic Trace Semantics. | Robin Jourde, Henning Urbat, Sergey Goncharov, Stelios Tsampas, Jonas Forster |
| 2026 | Active Diagnosis with Costs and Rewards. | Serge Haddad, Engel Lefaucheux, Stefan Schwoon |
| 2026 | Sure-Almost-Sure and Sure-Limit-Sure Window Mean Payoff in Markov Decision Processes. | Pranshu Gaba, Shibashis Guha |
| 2026 | Threshold-Based Behavioural Distances. | Jonas Forster, Lutz Schrder, Paul Wild, Barbara Knig, Pedro Nora |
| 2026 | On the Continuity of the Probabilistic Bisimilarity Distance. | Syyeda Zainab Fatmi, Stefan Kiefer, David Parker, Franck van Breugel |
| 2026 | Revisiting True Concurrency Bisimilarities: On the Role of Backward Ready Multisets and Why They Are Not Enough for HPB and HHPB. | Andrea Esposito, Marco Bernardo |
| 2026 | Algebraic Characterization of FO-Definable Languages of Higher-Dimensional Automata. | Enzo Erlich, Jrmy Ledent, Krzysztof Ziemianski |
| 2026 | On Parameterized Verification over Tree Topologies. | Romain Delpy, Anca Muscholl, Grgoire Sutre |