Accepted papers

COORDINATION

Yasmine Akaichi, Manel Barkallah, Jean-Marie Jacquet, Isabelle Linden and Wim Vanhoof. Bach4Popper: Towards Federated Inductive Logic Programming using Coordination
Giorgio Audrito, Leonardo Bertolino, Ferruccio Damiani and Gianluca Torta. Aggregate Indoor Localisation
Simon Bliudze, Sophie Cerf and Olga Kouchnarenko. Motif Refinement for the Hierarchical Control of Structured CPSs
Isabelle Coget and Étienne Lozes. HistMSO: a Logic for Reasoning on Consistency Models with MONA
Angela Cortecchia, Danilo Pianini and Mirko Viroli. A Self-Stabilizing Min-Max Consensus via Path-loop Detection
Nicolas Farabegoli, Luca Tassinari, Gianluca Aguzzi and Mirko Viroli. ScalaTropy: Multiparty Coordination with Monadic Communication Primitives
Carlos Gustavo Lopez Pombo, Pablo Montepagano and Emilio Tuosto. Runtime adaptation as a programming pattern in service composition
Reiner Hähnle and Cosimo Laneve. Verification of legal contracts via Java/JML and KeY
Riccardo Petracci, Nicola Del Giudice, Diletta Romana Cacciagrano and Michele Loreti. Simulation and Analysis of Indoor-Air-Quality Measuring Devices with YODA
Neda Saeedloei and Feliks Kluzniak. Timed Scenario Expressions and Realisability
Edgard Schiebelbein, Annette Bieniusa and Simon Fowler. Proof of Delivery: Mechanized Mailbox Types

Filippo Gurioli, Martina Baiardi, Angela Cortecchia and Danilo Pianini. High-Fidelity Simulation of Aggregate Computing Systems with Collektivity
Gianluca Aguzzi, Davide Domini, Nicolas Farabegoli and Mirko Viroli. Phyelds: A Pythonic Framework for Aggregate Computing

Haoran Pang, Wei Zhang and Yanwei Xu. A Jacobi-Based Distributed Clock Synchronization Algorithm for Wide-Area Networks.
Savan Kan and Sergueï Lenglet. Harmony in Rocq.
Menno Bartels, Maurice Laveaux, Thomas Neele and Tim Willemse. Control Flow-Based Symmetry Reduction for Parameterised Boolean Equation Systems.
Paapa Quansah and Ernest Bonnah. NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic.
Nicolas Waldburger, Florian Faissole, Ryo Okabe and Denis Cousineau. Sound Automatic Lock Placement for Concurrent Programs with Pointers.
Daniel Dirdal, Leander Jehl, Bhargav Nagaraja Bhatt, Hein Meling and Nejm Saadallah. Formal Modeling of BEEFY, a Protocol for Supporting Light Clients.
Adrian Francalanza, Marco Giunti and António Ravara. Soundness of Typed Transitions in the Linear Pi Calculus.
Daniel Stan, Adrien Pommellet and Juliette Jacquot. Automata Learning with an Incomplete but Inductive Teacher.
Maurizio Murgia. Binary and two-party asyncronous subtypings are equivalent.
Andrea Manini, Matteo Rossi and Pierluigi San Pietro. TARZAN: A Region-Based Library for Forward and Backward Reachability of Timed Automata.
Andreia Mordido and Jorge A. Pérez. Deadlock-free Context-free Session Types.
Javier Enriquez Mendoza, Samuel Speight and Vincent Rahli. TPTL-DIST: A Calculus for Verifying Real-Time Distributed Systems.

Julian de Jong, Valentina Castiglioni and Simone Tini. Robustness Against Time Distortions in STARK.

Oliver Pearce, Julien Lange and Dan O’Keeffe. RustMC: Automated Verification of Real-World Concurrent Rust.
Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene and Patrizia Scandurra. AsmetaComp: a Tool for Runtime Contract Checking with I/O Abstract State Machines.