<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>----------------------------------------------------------------------------------------</div>
<div>LSFA 2026 Announcement and First Call for Papers </div>
<div><br>
</div>
<div>21st International Symposium on Logical and Semantic Frameworks with Applications</div>
<div>- LSFA 2026 -</div>
<div>18 - 19 July 2026</div>
<div>Lisbon, Portugal</div>
<div>https://lsfa-workshop.github.io/2026/</div>
<div><br>
</div>
<div>----------------------------------------------------------------------------------------</div>
<div><br>
</div>
<div>Logical and semantic frameworks are formal languages used to represent logics, languages and systems. </div>
<div>These frameworks provide foundations for the formal specification of systems and programming languages, </div>
<div>supporting tool development and reasoning.</div>
<div>We are inviting formal submissions on the following topics, but not limited to:</div>
<div><br>
</div>
<div>Automated deduction</div>
<div>Applications of logical and/or semantic frameworks</div>
<div>Computational and logical properties of semantic frameworks</div>
<div>Formal semantics of languages and systems</div>
<div>Implementation of logical and/or semantic frameworks</div>
<div>Lambda and combinatory calculi</div>
<div>Logical aspects of computational complexity</div>
<div>Logical frameworks</div>
<div>Process calculi</div>
<div>Proof theory</div>
<div>Semantic frameworks</div>
<div>Specification languages and meta-languages</div>
<div>Type theory</div>
<div><br>
</div>
<div>The program committee is chaired by Valeria de Paiva, Topos Institute, Berkeley and Thaynara de Lima, Federal University of Goiás, Goiânia.</div>
<div><br>
</div>
<div><br>
</div>
<div>*** Formal Paper Submissions ***</div>
<div><br>
</div>
<div>Contributions should be written in English and submitted in the form of:</div>
<div>- full papers (with a maximum of 16 pages excluding references) or ; </div>
<div>- short papers (with a maximum of 6 pages excluding references). </div>
<div><br>
</div>
<div>They must be unpublished and not submitted simultaneously for publication elsewhere. </div>
<div>The papers should be prepared in latex using EPTCS style. </div>
<div>https://style.eptcs.org/</div>
<div>The submission should be in the form of a PDF file uploaded to HotCRP.</div>
<div>https://submissions.floc26.org/lsfa/</div>
<div>If software or data is relevant to a paper, a link that provides access</div>
<div>to the software/data must be provided to enable reproduction of results.</div>
<div><br>
</div>
<div>Following LSFA traditions, besides Proceedings, we are considering </div>
<div>publishing a Special Issue LSFA 25+26 (more details regarding past </div>
<div>publications at https://lsfa-workshop.github.io/). </div>
<div> </div>
<div>*** Important Dates ***</div>
<div><br>
</div>
<div> - Abstract deadline: March 30, 2026 </div>
<div> - Full paper deadline: April 4, 2026 </div>
<div> - Notification of acceptance: May 4, 2026</div>
<div> - Conference: July 18-19, 2026</div>
<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>