<div dir="ltr"><div class="gmail_quote"><div dir="ltr" class="gmail_attr"><br></div>ERRATA: submission deadline should be May 8 instead of May 27.<br class="gmail-Apple-interchange-newline"><br><div dir="ltr"><font face="monospace">===================================================================<br><br><b>18th Logical and Semantic Frameworks with Applications - LSFA 2023<br></b><br>                        <b>1-2 July 2023</b><br><br>           <a href="https://urldefense.com/v3/__https://sites.google.com/ufg.br/lsfa2023__;!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOHQnfXOcg$" target="_blank">https://sites.google.com/ufg.br/lsfa2023</a><br><br>             Affiliated to <a href="https://urldefense.com/v3/__https://easyconferences.eu/fscd2023/__;!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOH8LCJtTQ$" target="_blank">FSCD 2023</a>, Rome, Italy<br><br>                     <b>Final Call For Papers</b><br><br>===================================================================<br><br>Logical and semantic frameworks are formal languages used to</font><div><font face="monospace">represent </font><span style="font-family:monospace">logics, languages and systems. These frameworks provide </span></div><div><span style="font-family:monospace">foundations </span><span style="font-family:monospace">for the formal </span><span style="font-family:monospace">specification of systems and computational</span></div><div><span style="font-family:monospace">languages, </span><span style="font-family:monospace">supporting tool development </span><span style="font-family:monospace">and reasoning. The LSFA</span><br></div><div><span style="font-family:monospace">series' objective </span><span style="font-family:monospace">is to put together theoreticians and </span><span style="font-family:monospace">practitioners</span></div><div><span style="font-family:monospace">to promote new </span><span style="font-family:monospace">techniques and results, from the theoretical side, </span><span style="font-family:monospace">and</span></div><div><span style="font-family:monospace">feedback on the </span><span style="font-family:monospace">implementation and the use of such techniques and</span></div><div><span style="font-family:monospace">results, </span><span style="font-family:monospace">from the </span><span style="font-family:monospace">practical side.</span><div><font face="monospace"><br>See <a href="https://urldefense.com/v3/__http://lsfa-workshop.github.io/__;!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOHQXLQ0cw$" target="_blank">lsfa-workshop.github.io/</a> for more information.<br><br>LSFA <b>topics of interest</b> include, but are not limited to:<br><br>* Automated deduction<br>* Applications of logical and semantic frameworks<br>* Computational and logical properties of semantic frameworks<br>* Formal semantics of languages and systems<br>* Implementation of logical and semantic frameworks<br>* Lambda and combinatory calculi<br>* Logical aspects of computational complexity<br>* Logical frameworks<br>* Process calculi<br>* Proof theory<br>* Semantic frameworks<br>* Specification languages and meta-languages<br>* Type theory<br><br><b>Submissions</b></font></div><div><font face="monospace"><b><br></b>Contributions should be written in English and submitted as <b>full </b></font></div><div><font face="monospace"><b>papers </b>(with a maximum of <b>16 pages</b>) or as <b>short papers</b> (with a</font></div><div><font face="monospace">maximum of <b>6 pages</b>). They must be unpublished and not submitted</font></div><div><font face="monospace">simultaneously for publication elsewhere. The papers should be</font></div><div><font face="monospace">prepared in LaTeX using the <b>EPTCS style</b>. The submission should be </font></div><div><font face="monospace">in the form of a PDF file uploaded to Easychair:<br><br><a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=lsfa2023__;!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOFUT8A0gw$" target="_blank">https://easychair.org/conferences/?conf=lsfa2023<br></a><br>The pre-proceedings, containing the reviewed papers, will be </font></div><div><font face="monospace">available on the conference webpage by the time of the event. </font></div><div><font face="monospace"><b>After the meeting</b>, the authors will be invited to <b>submit full</b></font></div><div><font face="monospace"><b>versions of their works for the post-proceedings publication in </b></font></div><div><font face="monospace"><b>EPTCS (<font color="#ff0000">TBC</font>)</b>. At least <b>one of the authors of each submission must</b></font></div><div><font face="monospace"><b>register for the conference</b>. Presentations should be in English.<br><br>According to the submissions' quality, the chairs will promote the<br>further publication of journal revised versions of the papers.<br>Previous LSFA Special Issues have been published in journals such<br>as The Logical J. of the IGPL, Theoretical Computer Science and<br>Mathematical Structures in Computer Sciences (see the LSFA page<br><a href="https://urldefense.com/v3/__https://lsfa-workshop.github.io/__;!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOHXJrFS3g$" target="_blank">https://lsfa-workshop.github.io/</a>).<br><br><b>Important dates (</b><font color="#ff0000">extended deadlines</font><b>)<br></b><br>* <b>Abstract</b>: <b><strike><font color="#000000">April 22</font></strike><font color="#ff0000"> </font></b></font><b style="font-family:monospace;color:rgb(255,0,0)">April 29</b><b style="font-family:monospace;color:rgb(255,0,0)"> </b><font color="#000000" style="font-family:monospace">(AoE)</font></div><div><font face="monospace">* <b>Submission</b>: <b><strike><font color="#000000">April 29</font></strike><font color="#ff0000"> </font></b></font><b style="color:rgb(255,0,0);font-family:monospace">May 27 </b><span style="color:rgb(0,0,0);font-family:monospace">(AoE)</span></div><div><font face="monospace">* <b>Notification</b>: <font color="#ff0000"><b>May 27</b></font><br>* <b>Preliminary proceedings</b> version due: <font color="#ff0000"><b>June 10</b></font><br>* Submission for <b>final proceedings</b>: <font color="#ff0000"><b>TBC</b></font><br>* <b>Final version</b>: <font color="#ff0000"><b>TBC</b></font><br><br><b>Invited Speakers<br></b><br>  * <a href="https://urldefense.com/v3/__https://www.cs.ru.nl/*cynthiakop/index_en.html__;fg!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOG5JSu4pA$" target="_blank">Cynthia Kop</a> (Radboud University Nijmegen, The Netherlands)</font></div><div><font face="monospace">    [shared session with <a href="https://urldefense.com/v3/__https://lfmtp.org/workshops/2023/__;!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOFvBmNCsw$" target="_blank">LFMTP'23</a>]    <br>  * <a href="https://urldefense.com/v3/__https://www.cs.mcgill.ca/*bpientka/__;fg!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOGmyNdgbQ$" target="_blank">Brigitte Pientka</a> (McGill University, Canada)<br>  * <a href="https://urldefense.com/v3/__https://foones.github.io/__;!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOGxLyBbVQ$" target="_blank">Pablo Barenbaum</a> (UBA & UNQ, Argentina)<br><br> <b>note</b>: shared session with <a href="https://urldefense.com/v3/__https://lfmtp.org/workshops/2023/__;!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOFvBmNCsw$" target="_blank">LFMTP'23</a> on July 2.<br><br><b>Program Committee</b></font></div><div><font face="monospace"><b><br></b>  <a href="https://urldefense.com/v3/__https://www.dcc.fc.up.pt/*sandra/Home/Home.html__;fg!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOFlxqXohQ$" target="_blank">Sandra Alves</a> (Universidade de Porto, Portugal)<br>  <a href="https://urldefense.com/v3/__https://carlosareces.github.io/__;!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOF02VAgog$" target="_blank">Carlos Areces</a> (Universidad Nacional de Cordoba, Argentina)<br>  <a href="https://urldefense.com/v3/__https://www.mat.unb.br/ayala/__;!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOE9jRqBSg$" target="_blank">Mauricio Ayala-Rincón</a> (Universidade de Brasília, Brazil)<br>  <a href="https://urldefense.com/v3/__https://hanielbarbosa.com/__;!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOE1zMEpJQ$" target="_blank">Haniel Barbosa</a> (Universidade Federal de Minas Gerais, Brazil)<br>  <a href="https://urldefense.com/v3/__https://ebonelli.github.io/__;!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOHFK4gVlg$" target="_blank">Eduardo Bonelli</a> (Stevens University, US)<br>  <a href="https://urldefense.com/v3/__https://www.cs.cas.cz/dcerna/__;!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOEMF-NSnw$" target="_blank">David Cerna</a> (Czech Academy of Sciences Institute of Computer Science)<br>  <a href="https://urldefense.com/v3/__https://staff.dc.uba.ar/adiazcaro/__;!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOEWiPbt4w$" target="_blank">Alejandro Diaz-Caro</a> (UNQ & ICC CONICET-UBA, Argentina)<br>  <a href="https://urldefense.com/v3/__https://www.ime.usp.br/*mfinger/__;fg!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOGOLHKAvQ$" target="_blank">Marcelo Finger</a> (Universidade de São Paulo, Brazil)<br>  <a href="https://urldefense.com/v3/__https://www.uliege.be/cms/c_11399834/en/pascal-fontaine__;!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOFUufVohg$" target="_blank">Pascal Fontaine</a> (University of Liege, Belgium)<br>  <a href="https://urldefense.com/v3/__https://lya.fciencias.unam.mx/lcgh/web/__;!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOFtuZVKDQ$" target="_blank">Lourdes del Carmen González Huesca</a> (UNAM, Mexico)<br>  <a href="https://urldefense.com/v3/__https://pageperso.lis-lab.fr/*giulio.guerrieri/__;fg!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOHymA_07w$" target="_blank">Giulio Guerrieri</a> (Aix-Marseille Université, France)<br>  <a href="https://urldefense.com/v3/__http://www.macs.hw.ac.uk/*fairouz/__;fg!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOEgMsy0aA$" target="_blank">Fairouz Kamareddine</a> (Heriot-Watt University, UK)<br>  <a href="https://urldefense.com/v3/__https://www.irif.fr/*kesner/__;fg!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOF7EzhFlg$" target="_blank">Delia Kesner</a>  (Université Paris Cité, France)<br>  <a href="https://urldefense.com/v3/__https://www3.risc.jku.at/people/tkutsia/__;!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOHIWhEXvQ$" target="_blank">Temur Kutsia</a> (Johannes Kepler University Linz, Austria) - Co-Chair<br>  <a href="https://urldefense.com/v3/__https://users.dimi.uniud.it/*marina.lenisa/__;fg!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOEcwZfoMg$" target="_blank">Marina Lenisa</a> (Università di Udine, Italy)<br>  <a href="https://urldefense.com/v3/__https://staff.fmi.uvt.ro/*mircea.marin/__;fg!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOFdh6GNtg$" target="_blank">Mircea Marin</a> (West University of Timisoara, Romania)<br>  <a href="https://urldefense.com/v3/__https://marianomoscato.github.io/__;!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOH-fX3y3g$" target="_blank">Mariano Moscato</a> (NASA, US)<br>  <a href="https://urldefense.com/v3/__https://vtss.doc.ic.ac.uk/people/nantes-sobrinho.html__;!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOEV_6mS3Q$" target="_blank">Daniele Nantes-Sobrinho</a> (Imperial College London, UK)<br>  <a href="https://urldefense.com/v3/__https://cs.famaf.unc.edu.ar/*mpagano/__;fg!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOGaflK_eg$" target="_blank">Miguel Pagano</a> (Universidad Nacional de Córdoba, Argentina)<br>  <a href="https://urldefense.com/v3/__https://vcvpaiva.github.io/__;!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOGSBlL0oA$" target="_blank">Valeria de Paiva</a> (Topos Institute, Berkeley, US)<br>  <a href="https://urldefense.com/v3/__https://risc.jku.at/m/ioana-cleopatra-pau/__;!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOEyG4UlrA$" target="_blank">Cleo Pau</a> (Johannes Kepler University Linz, Austria)<br>  <a href="https://urldefense.com/v3/__https://sites.google.com/site/elainepimentel/__;!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOEsz7gc3A$" target="_blank">Elaine Pimentel</a> (University College London, UK)<br>  <a href="https://urldefense.com/v3/__http://logica.uniroma3.it/pistone/__;!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOHE9SyUqA$" target="_blank">Paolo Pistone</a> (Università Roma Tre, Italy)<br>  <a href="https://urldefense.com/v3/__https://www.cs.vu.nl/*femke/__;fg!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOHjKI4GJA$" target="_blank">Femke van Raamsdonk</a> (Vrije Universiteit Amsterdam, The Netherlands)<br>  <a href="https://urldefense.com/v3/__https://homepage.cs.uiowa.edu/*ajreynol/__;fg!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOHapHF0CA$" target="_blank">Andrew Reynolds</a> (University of Iowa, US)<br>  <a href="https://urldefense.com/v3/__https://risc.jku.at/m/wolfgang-schreiner/__;!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOEPCXm32Q$" target="_blank">Wolfgang Schreiner</a> (Johannes Kepler University Linz, Austria)<br>  <a href="https://urldefense.com/v3/__https://ww2.inf.ufg.br/*daniel/__;fg!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOGW6nG2NA$" target="_blank">Daniel Ventura</a> (Universidade Federal de Goiás, Brazil) - Co-Chair<br><br><b>Organisers</b><br><br>   Daniele Nantes-Sobrinho (Imperial College London, UK)<br>   David Cerna (Czech Academy of Sciences Institute of Computer Science)<br><br>=====================================================================</font></div></div></div>
</div></div>