LSFA 2025

Home / CFP / Committees / Accepted papers / Invited Speakers / Programme / Travel Information //

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