<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!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKOzzNVXmg$">https://sites.google.com/ufg.br/lsfa2023</a><br><br>             Affiliated to <a href="https://urldefense.com/v3/__https://easyconferences.eu/fscd2023/__;!!IBzWLUs!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKMKhcjBvQ$">FSCD 2023</a>, Rome, Italy<br><br>                     <b>First 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 languages, </span><span style="font-family:monospace">supporting tool development </span><span style="font-family:monospace">and reasoning. The LSFA</span></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!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKOdOFGXjA$">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 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!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKOtHPogIg$">https://easychair.org/conferences/?conf=lsfa2023<br></a><br>The pre-proceedings, containing the reviewed papers, will be 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!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKOhdPwCZA$">https://lsfa-workshop.github.io/</a>).<br><br><b>Important dates<br></b><br>* <b>Abstract</b>: <font color="#ff0000"><b>April 22</b></font><br>* <b>Submission</b>: <font color="#ff0000"><b>April 29</b></font><br>* <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>  <b><font color="#ff0000">TBA</font></b><br><br> <b>note</b>: shared session with <a href="https://urldefense.com/v3/__https://lfmtp.org/workshops/2023/__;!!IBzWLUs!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKM24Pe-Fg$">LFMTP'23</a> on July 2.<br><br><b>Program Committee</b><br><br>  <a href="https://urldefense.com/v3/__https://www.dcc.fc.up.pt/*sandra/Home/Home.html__;fg!!IBzWLUs!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKOX04ji8g$">Sandra Alves</a> (Universidade de Porto, Portugal)<br>  <a href="https://urldefense.com/v3/__https://carlosareces.github.io/__;!!IBzWLUs!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKPYZ6TfsQ$">Carlos Areces</a> (Universidad Nacional de Cordoba, Argentina)<br>  <a href="https://urldefense.com/v3/__https://www.mat.unb.br/ayala/__;!!IBzWLUs!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKN7-eJPKA$">Mauricio Ayala-Rincón</a> (Universidade de Brasília, Brazil) <br>  <a href="https://urldefense.com/v3/__https://hanielbarbosa.com/__;!!IBzWLUs!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKMMp3HabA$">Haniel Barbosa</a> (Universidade Federal de Minas Gerais, Brazil)<br>  <a href="https://urldefense.com/v3/__https://ebonelli.github.io/__;!!IBzWLUs!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKNR2YNvsQ$">Eduardo Bonelli</a> (Stevens University, US)<br>  <a href="https://urldefense.com/v3/__https://www.cs.cas.cz/dcerna/__;!!IBzWLUs!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKM_GunTwQ$">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!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKOxWjKR7w$">Alejandro Diaz-Caro</a> (UNQ & ICC CONICET-UBA, Argentina)<br>  <a href="https://urldefense.com/v3/__https://www.ime.usp.br/*mfinger/__;fg!!IBzWLUs!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKNb0Mlk-g$">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!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKN7QXMOig$">Pascal Fontaine</a> (University of Liege, Belgium)<br>  <a href="https://urldefense.com/v3/__https://lya.fciencias.unam.mx/lcgh/web/__;!!IBzWLUs!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKMXR4luRw$">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!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKPkEXe6PA$">Giulio Guerrieri</a> (Aix-Marseille Université, France)<br>  <a href="https://urldefense.com/v3/__http://www.macs.hw.ac.uk/*fairouz/__;fg!!IBzWLUs!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKMVVqtKJg$">Fairouz Kamareddine</a> (Heriot-Watt University, UK)<br>  <a href="https://urldefense.com/v3/__https://www.irif.fr/*kesner/__;fg!!IBzWLUs!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKOEk-MEEg$">Delia Kesner</a>  (Université Paris Cité, France)<br>  <a href="https://urldefense.com/v3/__https://www3.risc.jku.at/people/tkutsia/__;!!IBzWLUs!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKPsgb8ysw$">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!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKOcW0Umbw$">Marina Lenisa</a> (Università di Udine, Italy)<br>  <a href="https://urldefense.com/v3/__https://staff.fmi.uvt.ro/*mircea.marin/__;fg!!IBzWLUs!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKOWOAtzmw$">Mircea Marin</a> (West University of Timisoara, Romania)<br>  <a href="https://urldefense.com/v3/__https://marianomoscato.github.io/__;!!IBzWLUs!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKNn1agrkQ$">Mariano Moscato</a> (NASA, US)<br>  <a href="https://urldefense.com/v3/__https://vtss.doc.ic.ac.uk/people/nantes-sobrinho.html__;!!IBzWLUs!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKOXr9Z2HA$">Daniele Nantes-Sobrinho</a> (Imperial College London, UK)<br>  <a href="https://urldefense.com/v3/__https://cs.famaf.unc.edu.ar/*mpagano/__;fg!!IBzWLUs!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKOcc0f9DQ$">Miguel Pagano</a> (Universidad Nacional de Córdoba, Argentina)<br>  <a href="https://urldefense.com/v3/__https://vcvpaiva.github.io/__;!!IBzWLUs!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKN6_1_f4g$">Valeria de Paiva</a> (Topos Institute, Berkeley, US)<br>  <a href="https://urldefense.com/v3/__https://risc.jku.at/m/ioana-cleopatra-pau/__;!!IBzWLUs!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKMDlnKe2g$">Cleo Pau</a> (Johannes Kepler University Linz, Austria)<br>  <a href="https://urldefense.com/v3/__https://sites.google.com/site/elainepimentel/__;!!IBzWLUs!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKNppfC4fA$">Elaine Pimentel</a> (University College London, UK)<br>  <a href="https://urldefense.com/v3/__http://logica.uniroma3.it/pistone/__;!!IBzWLUs!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKNjgUdgwA$">Paolo Pistone</a> (Università Roma Tre, Italy)<br>  <a href="https://urldefense.com/v3/__https://www.cs.vu.nl/*femke/__;fg!!IBzWLUs!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKNscX2OOA$">Femke van Raamsdonk</a> (Vrije Universiteit Amsterdam, The Netherlands)<br>  <a href="https://urldefense.com/v3/__https://homepage.cs.uiowa.edu/*ajreynol/__;fg!!IBzWLUs!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKN67Fha7g$">Andrew Reynolds</a> (University of Iowa, US)<br>  <a href="https://urldefense.com/v3/__https://risc.jku.at/m/wolfgang-schreiner/__;!!IBzWLUs!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKMG_X02eA$">Wolfgang Schreiner</a> (Johannes Kepler University Linz, Austria)<br>  <a href="https://urldefense.com/v3/__https://ww2.inf.ufg.br/*daniel/__;fg!!IBzWLUs!XwvnvQa4zprQSV9rJZjd9As9S1jfgEu2wJ9Oj7yI2bzPHbFvxtAScSh6eIiuIE2kZTIKFq4iNH5qXRqu7cdEKKPLNXAKIQ$">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>