Accepted Papers
- Sequent Calculi for Data-Aware Modal Logics. Carlos Areces, Valentin Cassano, Danae Dutto and Raul Fervari
- Characterization of Lattice Properties within Modal Extensions. Alfredo Freire and Manuel A. Martins
- Nominal Sets in Rocq. Fabrício Sanches Paranhos and Daniel Ventura
- A Function-Set Framework: General Properties and Applications to Modal Logic. Luke Bayzid, Alexandre Madeira and Manuel A. Martins
- Monoid Structures on Indexed Containers. Michele De Pascalis, Tarmo Uustalu and Niccolò Veltrì
Presentation-only Contributions
- Termination modulo Commutativity for Nominal Systems (Work in Progress). Daniella Santaguida
- Towards the HSP Theorem in Nominal Algebra with Fixed-Point Constraints (Work in Progress). Ali K. Caires-Santos