Proceedings of the 21st Workshop on Logical Frameworks and Meta Languages: Theory and Practice
This volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS) compiles the contributed papers presented at the 21st International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2026), which was held in Lisbon, Portugal, on July 24, 2026, as a satellite event of FSCD 2026 under the FLoC 2026 conference.
Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer
Imagine a giant, bustling digital convention center called FLoC 2026, where the world's sharpest minds gather to build the ultimate rulebooks for how computers think. Inside this massive hall, there's a special, cozy side-room known as LFMTP 2026. This isn't just any side-room; it's the 21st time this specific group has met to swap ideas about "Logical Frameworks and Meta-Languages." Think of these frameworks not as code, but as the architectural blueprints and the universal grammar that tell computers how to construct valid arguments without ever tripping over their own feet.
On July 24th, 2026, in the sunny city of Lisbon, Portugal, this room filled up with contributors who presented their latest papers. These papers are collected in a special digital volume called the Electronic Proceedings in Theoretical Computer Science (EPTCS). It's like a yearbook of the smartest sketches and theories drawn during that single day.
The team in charge of picking these ideas—led by Olivier Hermant and Sophie Tourret—acted like the curators of a very strict, very cool art gallery. They didn't just let anyone in; they selected specific papers that pushed the boundaries of how we define "truth" and "structure" in computing. This gathering didn't happen in a vacuum; it was a satellite event, meaning it flew alongside the 11th International Conference on Formal Structures for Computation and Deduction (FSCD 2026), riding the wave of a bigger, more famous conference.
So, what's the big takeaway? This document is simply the collection of those specific talks and papers presented on that one day. It doesn't claim to have solved every mystery of the universe or built a robot that can think for itself. Instead, it offers a snapshot of the current state of the art: a curated list of theories and methods that experts are currently exploring to make sure our digital logic remains solid, consistent, and error-free. If you want to see the raw, unfiltered thoughts of the people shaping the future of computer logic, this volume is the map to their latest discoveries. For more details on this ongoing journey, you can visit their digital home at https://lfmtp.org.
Drowning in papers in your field?
Get daily digests of the most novel papers matching your research keywords — with technical summaries, in your language.