• Gabriel Dengler, Carlos E. Budde and Laura Carnevali: A Taxonomy of Distance Metrics for Time-Sensitive Importance Splitting: Timer Bounds, Resampling, and the Global Age
• Shunya Oguchi, Shoji Yuen, Nobuko Yoshida and Claudio Antares Mezzina: Fine-grained Causal Reversibility for Asynchronous Channel-based Programming
• Tomás Castro, Gustavo Betarte, Carlos Luna, Dante Zanarini and Juan Diego Campo: From Empirical Traces to Formal Semantics: A MITRE ATT&CK Framework for Modeling Adversary Behavior
• Sifei Li and Fabio Zanasi: Tool Support for Causal Reasoning via String Diagram Surgery
• Lukas Grätz: Pure Synchronized Regular Expressions
• Patrick Cousot: Non Standard Axiomatic Semantics
• Di-De Yen, Qiyi Tang and Yong Li: Learning Canonical Register Automata over Ordered Data Domains
• Valentin Cassano and Raul Fervari: Towards Taming Data Comparisons in a Description Logic Setting
• Piotr Wojciechowski, A. Subramani and K. Subramani: A polynomial time algorithm for F-QLPs and F-QIPs over difference constraints
• David Cerna, Anela Lolic and Stella Mahler: Proof Schemata as a Bridge to Classical Proof Theory
• Hugo Bazille, Jérémy Dubut, Uli Fahrenberg and Krzysztof Ziemianski: Variants of Higher-Dimensional Automata
• Pablo Barenbaum: Verifiers and Generators: Epistemic Semantics for Intuitionistic Logic
• Guilhème Jaber and Davide Sangiorgi: Semantics of imperative functions: games and name-passing processes
• Nazareno Aguirre, Diego Garbervetsky, Sebastián Uchitel, Tao Yue and Man Zhang: SAT-based Consistency Checking for Structural and Behavioral SysML v2 Models
• Alejandro Díaz-Caro and Tomás Miguez: A quantum let within the lambda calculus
• Lisa Willemsen, Anne Remke and Johann L. Hurink: Stochastic Hybrid Automata for Power Profile Modeling in Energy Systems
• Hugo Bazille and Uli Fahrenberg: Automata on Graph Alphabets
• Franco Castagna, Mohsen Taheri Shalmani, Amid Golmohammadi, Juan Pablo Galeotti and Andrea Arcuri: An Empirical Evaluation of Search-Based Algorithms for White-Box Testing of REST APIs
• Raik Hipler, Hannes Kallwies, Martin Leucker and Cesar Sanchez: UnAA-LOLA: A Stream Runtime Verification Tool Supporting Uncertainties, Assumptions and Anticipation
• Sarunyu Thongjarast, Sarit Pasiphol and Suthee Ruangwises: Cyclic Equalizability Characterized by Parikh Vectors
• Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen and Daniele Toller: Computing Fixed Points using Dependency Oracles
• Frédéric Blanqui and Rishikesh Vaishnav: Encoding Lean's Type Theory in Dedukti
• Kaveh Aryan, Mahsa Varshosaz and Mohammad Reza Mousavi: nativeCausal Search Guided by Metamorphic Information
• Martti Karvonen, Robin Piedeleu and Fabio Zanasi: Towards Synthetic Cryptography - A String Diagrammatic Approach
• Tomas Schitter, Edwin Pin and Sergio Abriola: Data Cleaning for Data Trees and Variants of Probabilistic Query Answering in an epistemic framework
• Nikson Bernardes Fernandes Ferreira, Mariano Miguel Moscato and Mauricio Ayala-Rincón: A Direct‑LLM Approach to Proof‑Command and Lemma Suggestion in PVS
• Ian Grinspan, Javier Godoy and Diego Garbervetsky: Fuzz4PA: Building Smart Contract Behavior Abstractions using Fuzzing
