Proceedings of the 21st Workshop on Logical Frameworks and Meta Languages: Theory and Practice
Dieser Band der Electronic Proceedings in Theoretical Computer Science (EPTCS) enthält die eingereichten Arbeiten, die auf dem 21. International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2026) präsentiert wurden, welcher am 24. Juli 2026 in Lissabon, Portugal, als Satellitenveranstaltung der FSCD 2026 im Rahmen der FLoC 2026 Konferenz stattfand.
Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen
Stellen Sie sich ein riesiges, geschäftiges digitales Kongresszentrum namens FLoC 2026 vor, in dem die schärfsten Köpfe der Welt zusammenkommen, um die ultimativen Regelwerke dafür zu entwerfen, wie Computer denken. In dieser riesigen Halle gibt es einen speziellen, gemütlichen Nebenraum namens LFMTP 2026. Dies ist nicht einfach nur ein Nebenraum; es ist das 21. Mal, dass diese spezifische Gruppe zusammenkommt, um Ideen über „Logical Frameworks and Meta-Languages“ auszutauschen. Betrachten Sie diese Frameworks nicht als Code, sondern als die architektonischen Blaupausen und die universelle Grammatik, die Computern sagen, wie sie gültige Argumente konstruieren können, ohne jemals über ihre eigenen Füße zu stolpern.
Am 24. Juli 2026, in der sonnigen Stadt Lissabon, Portugal, füllte sich dieser Raum mit Mitwirkenden, die ihre neuesten Arbeiten präsentierten. Diese Arbeiten sind in einem speziellen digitalen Band namens Electronic Proceedings in Theoretical Computer Science (EPTCS) gesammelt. Es ist wie ein Jahrbuch der klügsten Skizzen und Theorien, die an diesem einen Tag gezeichnet wurden.
Das Team, das für die Auswahl dieser Ideen verantwortlich war – unter der Leitung von Olivier Hermant und Sophie Tourret – agierte wie die Kuratoren einer sehr strengen, sehr coolen Kunstgalerie. Sie ließen nicht einfach jeden hinein; sie wählten spezifische Arbeiten aus, die die Grenzen dessen verschoben, wie wir „Wahrheit“ und „Struktur“ in der Informatik definieren. Diese Zusammenkunft geschah nicht im Vakuum; sie war ein Satelliten-Event, was bedeutet, dass sie sich neben der 11. International Conference on Formal Structures for Computation and Deduction (FSCD 2026) bewegte und auf der Welle einer größeren, berühmteren Konferenz ritt.
Was ist also die wichtigste Erkenntnis? Dieses Dokument ist schlichtweg die Sammlung jener spezifischen Vorträge und Arbeiten, die an diesem einen Tag präsentiert wurden. Es behauptet nicht, alle Geheimnisse des Universums gelöst oder einen Roboter gebaut zu haben, der selbstständig denken kann. Stattdessen bietet es eine Momentaufnahme des aktuellen Stands der Technik: eine kuratierte Liste von Theorien und Methoden, die Experten derzeit erforschen, um sicherzustellen, dass unsere digitale Logik solide, konsistent und fehlerfrei bleibt. Wenn Sie die rohen, ungefilterten Gedanken der Menschen sehen wollen, die die Zukunft der Computerlogik gestalten, ist dieser Band die Landkarte zu ihren neuesten Entdeckungen. Für weitere Details zu dieser fortlaufenden Reise können Sie ihr digitales Zuhause unter https://lfmtp.org besuchen.
Ertrinken Sie in Arbeiten in Ihrem Fachgebiet?
Erhalten Sie tägliche Digests der neuesten Arbeiten passend zu Ihren Forschungsbegriffen — mit technischen Zusammenfassungen, in Ihrer Sprache.