Proceedings of the 21st Workshop on Logical Frameworks and Meta Languages: Theory and Practice
이 EPTCS(Electronic Proceedings in Theoretical Computer Science) 권은 FLoC 2026 컨퍼런스의 새틀라이트 이벤트인 FSCD 2026의 일환으로 2026년 7월 24일 포르투갈 리스본에서 개최된 제21회 논리 체계 및 메타 언어 이론과 실제 국제 워크숍(LFMTP 2026)에서 발표된 기고 논문들을 모은 것입니다.
원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기
거대한 디지털 컨벤션 센터인 FLoC 2026을 상상해 보십시오. 이곳은 컴퓨터가 생각하는 방식에 대한 궁극적인 규칙들을 만들기 위해 세계에서 가장 명석한 두뇌들이 모이는 활기찬 장소입니다. 이 거대한 홀 안에는 '논리 프레임워크와 메타 언어(Logical Frameworks and Meta-Languages)'에 대한 아이디어를 교환하기 위해 이 특정 그룹이 21번째로 모이는 특별하고 아늑한 별실, LFMTP 2026이 있습니다. 이 프레임워크를 단순한 코드가 아니라, 컴퓨터가 스스로의 발에 걸려 넘어지지 않고 유효한 논증을 구축하는 방법을 알려주는 건축 설계도이자 보편적 문법이라고 생각하십시오.
2026년 7월 24일, 햇살 가득한 포르투갈 리스본에서 이 방은 자신들의 최신 논문을 발표하는 기여자들로 가득 찼습니다. 이 논문들은 '전자 이론 컴퓨터 과학 프로시딩(Electronic Proceedings in Theoretical Computer Science, EPTCS)'이라는 특별한 디지털 볼륨에 수집되었습니다. 이것은 그 단 하루 동안 그려진 가장 똑똑한 스케치와 이론들의 연감과도 같습니다.
올리비에 에르망(Olivier Hermant)과 소피 투레(Sophie Tourret)가 이끄는 선정 팀은 매우 엄격하고 멋진 아트 갤러리의 큐레이터처럼 행동했습니다. 그들은 단순히 아무나 들여보낸 것이 아니라, 컴퓨팅에서 '진리'와 '구조'를 정의하는 방식의 경계를 넓히는 특정 논문들을 선택했습니다. 이 모임은 진공 상태에서 발생한 것이 아닙니다. 이는 더 크고 유명한 컨퍼런스의 파도를 타고 날아온 위성 이벤트, 즉 제11회 국제 계산 및 연역을 위한 형식 구조 컨퍼런스(FSCD 2026)의 부속 행사였습니다.
그렇다면 핵심적인 결론은 무엇일까요? 이 문서는 단순히 그 하루 동안 발표된 특정 강연과 논문들을 모아놓은 것입니다. 이 문서가 우주의 모든 미스터리를 해결했거나 스스로 생각할 수 있는 로봇을 만들었다고 주장하지는 않습니다. 대신, 전문가들이 우리의 디지털 논리가 견고하고 일관되며 오류가 없도록 만들기 위해 현재 탐구하고 있는 이론과 방법론의 최첨단 상태를 보여주는 스냅샷을 제공합니다. 만약 컴퓨터 논리의 미래를 형성하는 사람들의 가공되지 않은 순수한 생각을 보고 싶다면, 이 볼륨은 그들의 최신 발견으로 향하는 지도입니다. 이 지속적인 여정에 대한 더 자세한 내용은 그들의 디지털 홈인 https://lfmtp.org 에서 확인할 수 있습니다.
연구 분야의 논문에 파묻히고 계신가요?
연구 키워드에 맞는 최신 논문의 일일 다이제스트를 받아보세요 — 기술 요약 포함, 당신의 언어로.