<html aria-label="message body">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div><br>
</div>
<span style="font-family: monospace;">----------------------------------------------------------------------------------------</span><br style="font-family: monospace;">
<span style="font-family: monospace;">LSFA 2026 - Last Call for Papers </span><br style="font-family: monospace;">
<br style="font-family: monospace;">
<span style="font-family: monospace;">21st International Symposium on Logical and Semantic Frameworks with Applications</span><br style="font-family: monospace;">
<span style="font-family: monospace;">- LSFA 2026 -</span><br style="font-family: monospace;">
<span style="font-family: monospace;">18 - 19 July 2026</span><br style="font-family: monospace;">
<span style="font-family: monospace;">Lisbon, Portugal</span><br style="font-family: monospace;">
<a href="https://lsfa-workshop.github.io/2026/" style="font-family: monospace;">https://lsfa-workshop.github.io/2026/</a><br style="font-family: monospace;">
<br style="font-family: monospace;">
<span style="font-family: monospace;">----------------------------------------------------------------------------------------</span><br style="font-family: monospace;">
<br style="font-family: monospace;">
<span style="font-family: monospace;">Logical and semantic frameworks are formal languages used to represent logics, languages, and systems.</span><br style="font-family: monospace;">
<span style="font-family: monospace;">These frameworks provide foundations for the formal specification of systems and programming languages,</span><br style="font-family: monospace;">
<span style="font-family: monospace;">supporting tool development and reasoning.</span><br style="font-family: monospace;">
<span style="font-family: monospace;">We are inviting formal submissions on the following topics, but not limited to:</span><br style="font-family: monospace;">
<br style="font-family: monospace;">
<span style="font-family: monospace;">Automated deduction</span><br style="font-family: monospace;">
<span style="font-family: monospace;">Applications of logical and/or semantic frameworks</span><br style="font-family: monospace;">
<span style="font-family: monospace;">Computational and logical properties of semantic frameworks</span><br style="font-family: monospace;">
<span style="font-family: monospace;">Formal semantics of languages and systems</span><br style="font-family: monospace;">
<span style="font-family: monospace;">Implementation of logical and/or semantic frameworks</span><br style="font-family: monospace;">
<span style="font-family: monospace;">Lambda and combinatory calculi</span><br style="font-family: monospace;">
<span style="font-family: monospace;">Logical aspects of computational complexity</span><br style="font-family: monospace;">
<span style="font-family: monospace;">Logical frameworks</span><br style="font-family: monospace;">
<span style="font-family: monospace;">Process calculi</span><br style="font-family: monospace;">
<span style="font-family: monospace;">Proof theory</span><br style="font-family: monospace;">
<span style="font-family: monospace;">Semantic frameworks</span><br style="font-family: monospace;">
<span style="font-family: monospace;">Specification languages and meta-languages</span><br style="font-family: monospace;">
<span style="font-family: monospace;">Type theory</span><br style="font-family: monospace;">
<br style="font-family: monospace;">
<span style="font-family: monospace;">The program committee is chaired by Valeria de Paiva, Topos Institute, Berkeley,and</span><br style="font-family: monospace;">
<span style="font-family: monospace;">Thaynara de Lima, Federal University of Goiás, Goiânia.</span><br style="font-family: monospace;">
<br style="font-family: monospace;">
<br style="font-family: monospace;">
<span style="font-family: monospace;">*** Formal Paper Submissions ***</span><br style="font-family: monospace;">
<br style="font-family: monospace;">
<span style="font-family: monospace;">Contributions should be written in English and submitted in the form of:</span><br style="font-family: monospace;">
<span style="font-family: monospace;">- full papers (with a maximum of 16 pages excluding references) or ; </span><br style="font-family: monospace;">
<span style="font-family: monospace;">- short papers (with a maximum of 6 pages excluding references). </span><br style="font-family: monospace;">
<br style="font-family: monospace;">
<span style="font-family: monospace;">They must be unpublished and not submitted simultaneously for publication elsewhere.</span><br style="font-family: monospace;">
<span style="font-family: monospace;">The papers should be prepared in latex using EPTCS style. </span><br style="font-family: monospace;">
<a href="https://style.eptcs.org/" style="font-family: monospace;">https://style.eptcs.org/</a><br style="font-family: monospace;">
<span style="font-family: monospace;">The submission should be in the form of a PDF file uploaded to HotCRP.</span><br style="font-family: monospace;">
<a href="https://submissions.floc26.org/lsfa/" style="font-family: monospace;">https://submissions.floc26.org/lsfa/</a><br style="font-family: monospace;">
<span style="font-family: monospace;">If software or data is relevant to a paper, a link that provides access</span><br style="font-family: monospace;">
<span style="font-family: monospace;">to the software/data must be provided to enable reproduction of results.</span><br style="font-family: monospace;">
<br style="font-family: monospace;">
<span style="font-family: monospace;">Following LSFA traditions, besides Proceedings, we are considering </span><br style="font-family: monospace;">
<span style="font-family: monospace;">publishing a Special Issue LSFA 25+26 (more details regarding past </span><br style="font-family: monospace;">
<span style="font-family: monospace;">publications at </span><a href="https://lsfa-workshop.github.io/" style="font-family: monospace;">https://lsfa-workshop.github.io/</a><span style="font-family: monospace;">).</span><br style="font-family: monospace;">
<span style="font-family: monospace;"> </span><br style="font-family: monospace;">
<span style="font-family: monospace;">*** Important Dates ***</span><br style="font-family: monospace;">
<br style="font-family: monospace;">
<span style="font-family: monospace;"> - Abstract deadline: April 17, 2026 </span><br style="font-family: monospace;">
<span style="font-family: monospace;"> - Full paper deadline: April 24, 2026 </span><br style="font-family: monospace;">
<span style="font-family: monospace;"> - Notification of acceptance: May 25, 2026</span><br style="font-family: monospace;">
<span style="font-family: monospace;"> - Conference: July 18-19, 2026</span><br>
<div>
<div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div><br>
-------------------------------------------------------<br>
Alexandre Madeira<br>
http://sweet.ua.pt/madeira/<br>
</div>
<div><br>
</div>
</div>
<br class="Apple-interchange-newline">
</div>
<br class="Apple-interchange-newline">
<br class="Apple-interchange-newline">
</div>
<br>
</body>
</html>