<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>
<div style="margin-top: 0.5em; margin-bottom: 0.5em;"><span style="font-weight: bold;">21st International Symposium on Logical and Semantic Frameworks, with Applications (LSFA 2026)</span></div>
<div style="margin-top: 0.5em; margin-bottom: 0.5em;">18 -19, July 2026</div>
<div style="margin-top: 0.5em; margin-bottom: 0.5em;"><span style="display: inline-block;"><a href="https://lsfa-workshop.github.io/2026/">https://lsfa-workshop.github.io/2026/</a></span></div>
<hr>
<div style="margin-top: 0.5em; margin-bottom: 0.5em;">The LSFA series is a platform that fosters collaboration, bringing together theoreticians and practitioners. LSFA aims to promote techniques and results from the theoretical side, ranging from well-established
ones such as lambda calculus and type theory to state-of-the-art ones such as machine learning, and provide feedback on integrating, implementing, and using such methods and results from the practical side.</div>
<div style="margin-top: 0.5em; margin-bottom: 0.5em;">See <span style="display: inline-block;"><a href="https://lsfa-workshop.github.io/">https://lsfa-workshop.github.io/</a></span> for further information.</div>
<hr>
<div style="margin-top: 0.5em; margin-bottom: 0.5em;">The workshop will have sixteen contributed presentations and four invited talks by</div>
<ul style="margin-block-start: 1em;">
<li style="list-style-type: disc; margin-top: 0.5em; margin-bottom: 0.5em;">Diana Costa, Universidade de Lisboa;</li><li style="list-style-type: disc; margin-top: 0.5em; margin-bottom: 0.5em;">Haniel Barbosa, Universidade Federal de Minas Gerais;</li><li style="list-style-type: disc; margin-top: 0.5em; margin-bottom: 0.5em;">Sandra Alves, Universidade do Porto;</li><li style="list-style-type: disc; margin-top: 0.5em; margin-bottom: 0.5em;">Santiago Escobar, Universidad Politécnica de Valencia.</li></ul>
<div style="margin-top: 0.5em; margin-bottom: 0.5em;">Titles and abstracts of invited talks are available on the webpage, in the "Program" section.</div>
<div style="margin-top: 0.5em; margin-bottom: 0.5em;"><br>
</div>
<div style="margin-top: 0.5em; margin-bottom: 0.5em;">We are looking forward to seeing you there!</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>