| 2026 | Theoretical Aspects of Computing - ICTAC 2025 - 22nd International Colloquium, Marrakech, Morocco, November 24-28, 2025, Proceedings Zhiming Liu, Adnane Saoud, Heike Wehrheim |
| 2025 | A Rely-Guarantee-Based Simulation for Cooperative Semantics. Kevin Tran, Johannes Åman Pohjola, Robert Sison, Gerwin Klein |
| 2025 | A Variety of Request-Response Specifications. Daichi Aiba, Masaki Waga, Hiroya Fujinami, Koko Muroya, Shutaro Ouchi, Naoki Ueda, Yosuke Yokoyama, Yuta Wada, Ichiro Hasuo |
| 2025 | AP-Observation Automata for Abstraction-Based Verification of Continuous-Time Systems. Sasinee Pruekprasert, Clovis Eberhart |
| 2025 | Active Learning of Symbolic Mealy Automata. Kengo Irie, Masaki Waga, Kohei Suenaga |
| 2025 | Compositional Interface Refinement Through Subtyping in Probabilistic Session Types. Paula Blechschmidt, Kirstin Peters, Uwe Nestmann |
| 2025 | Domain Analysis and Description: A Tutorial. Dines Bjørner |
| 2025 | Efficient AND Protocols Resistant to Maliciously Revealing a Single Card. Koichi Koizumi, Minato Abe, Eikoh Chida, Takaaki Mizuki |
| 2025 | Efficient Interpolation Beyond Cut-Free Proofs: Admissible Cuts and Optimized Extraction. Simon Corbard, Anela Lolic |
| 2025 | Explicit Model Checking Engine for Reachability Analysis of Colored Petri Nets. Emil Normann Brandt, Jens Emil Fink Højriis, Kira Stæhr Pedersen, Jirí Srba |
| 2025 | Facing Uncertainty in AI: From Formal Verification To Synthesis. Joost-Pieter Katoen |
| 2025 | Forward and Backward Simulations for Partially Observable Probability. Chris Chen, Annabelle McIver, Carroll Morgan |
| 2025 | From Program Logics Towards Language Logics. Matteo Cimini |
| 2025 | Fuzz Testing with Temporal Constraints. Klaus Havelund, Tracy Clark, Vivek Reddy |
| 2025 | Graphical Quadratic Algebra. Dario Stein, Fabio Zanasi, Robin Piedeleu, Richard Samuelson |
| 2025 | Iteratively Synthesizing ε-Robust Barrier Certificates for Neural Network Controlled Systems. Yi Luo, Xin Chen, Jin Dai, Enyi Tang, Xuandong Li |
| 2025 | Lean4Less: Eliminating Definitional Equalities from Lean via an Extensional-to-Intensional Translation. Rishikesh Vaishnav |
| 2025 | Multi-perspective Correctness of Programs. Eduard Kamburjan, Dilian Gurov |
| 2025 | On Asynchronous Multiparty Session Types for Federated Learning. Ivan Prokic, Simona Prokic, Silvia Ghilezan, Alceste Scalas, Nobuko Yoshida |
| 2025 | On Computational Aspects of Ordered Matching Problems. Michal Certík, Andreas Emil Feldmann, Jaroslav Nesetril, Pawel Rzazewski |
| 2025 | PRoTECT: Parallelized ConstRuction of SafeTy BarriEr Certificates for Nonlinear Polynomial SysTems. Ben Wooding, Viacheslav Horbanov, Abolfazl Lavaei |
| 2025 | Pomsets for Process Management: A Healthcare Case Study. Sourabh Pal, Roberto Guanciale, Ivan Lanese, Emilio Tuosto, Massimo Clo |
| 2025 | Safe Multi-agent Reinforcement Learning Using Formal Runtime Enforcement: A Case Study. Vedanta Mohapatra, Ayush Anand, Srinivas Pinisetty |
| 2025 | Set Invariance for Assume-Guarantee Contracts in Cyber-Physical Systems Design - - Extended Abstract -. Antoine Girard |
| 2025 | The Spiral of Silence in Multi-agent Models for Opinion Formation. Jesús Aranda, Juan Francisco Díaz, David Gaona, Frank Valencia |
| 2025 | Timed Monitoring and Timed Monitorability. Kim Guldstrand Larsen |
| 2025 | Ulam's Metric in Higher Dimensions. Sebastian Bala, Andrzej Kozik |
| 2025 | Verification of the Release-Acquire Semantics. Parosh Aziz Abdulla, Elli Anastasiadi, Mohamed Faouzi Atig, Samuel Grahn |
| 2025 | Weighted Automata for Exact Inference in Discrete Probabilistic Programs. Dominik Geißler, Tobias Winkler |