Proceedings of the 21st Workshop on Logical Frameworks and Meta Languages: Theory and Practice

Stel je een gigantisch, bruisend digitaal conferentiecentrum voor genaamd FLoC 2026, waar de scherpste geesten ter wereld samenkomen om de ultieme regelboeken te bouwen voor hoe computers denken. Binnen deze enorme hal is er een speciale, gezellige zijruimte bekend als LFMTP 2026. Dit is niet zomaar een zijruimte; dit is de 21e keer dat deze specifieke groep samenkomt om ideeën uit te wisselen over "Logical Frameworks and Meta-Languages." Denk aan deze frameworks niet als code, maar als de architectonische blauwdrukken en de universele grammatica die computers vertellen hoe ze geldige argumenten kunnen construeren zonder over hun eigen voeten te struikelen.

Op 24 juli 2026, in het zonnige Lissabon, Portugal, vulde deze kamer zich met bijdragers die hun nieuwste papers presenteerden. Deze papers zijn verzameld in een speciale digitale editie genaamd Electronic Proceedings in Theoretical Computer Science (EPTCS). Het is als een jaarboek van de slimste schetsen en theorieën die tijdens die ene dag zijn getekend.

Het team dat verantwoordelijk is voor het selecteren van deze ideeën — onder leiding van Olivier Hermant en Sophie Tourret — trad op als de curatoren van een zeer strikte, zeer hippe kunstgalerie. Ze lieten niet zomaar iedereen toe; ze selecteerden specifieke papers die de grenzen verlegden van hoe we "waarheid" en "structuur" in de informatica definiëren. Deze bijeenkomst vond niet in een vacuüm plaats; het was een satellietevenement, wat betekent dat het meevloog met de 11e International Conference on Formal Structures for Computation and Deduction (FSCD 2026), rijdend op de golf van een grotere, bekendere conferentie.

Dus, wat is de belangrijkste conclusie? Dit document is simpelweg de collectie van die specifieke presentaties en papers die op die ene dag werden gepresenteerd. Het beweert niet elk mysterie van het universum te hebben opgelost of een robot gebouwd te hebben die zelf kan denken. In plaats daarvan biedt het een momentopname van de huidige stand van zaken: een gecureerde lijst van theorieën en methoden die experts momenteel verkennen om ervoor te zorgen dat onze digitale logica solide, consistent en foutloos blijft. Als je de rauwe, ongefilterde gedachten wilt zien van de mensen die de toekomst van de computerlogica vormgeven, dan is dit volume de kaart naar hun nieuwste ontdekkingen. Voor meer details over deze voortdurende reis kun je hun digitale thuis bezoeken op https://lfmtp.org.