<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!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97Crv09edxw$" 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!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97Cqxht3Xfw$" target="_blank">FSCD 2023</a>, Rome, Italy<br><br>                     <b>Second 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!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97Cozi0Pq-g$" 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 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!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97CqUqcZsRA$" target="_blank">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!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97Cqbg6XUHw$" target="_blank">https://lsfa-workshop.github.io/</a>).<br><br><b>Important dates<br></b><br>* <b>Abstract</b>: <b style="color:rgb(255,0,0)">April 22   </b><font color="#000000">(AoE)</font><br>* <b>Submission</b>: <b style="color:rgb(255,0,0)">April 29 </b><font color="#000000">(AoE)</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>  * <a href="https://urldefense.com/v3/__https://www.cs.ru.nl/*cynthiakop/index_en.html__;fg!!IBzWLUs!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97CrkXss2cw$">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!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97CoRPvI1xQ$">LFMTP'23</a>]    <br>  * <a href="https://urldefense.com/v3/__https://www.cs.mcgill.ca/*bpientka/__;fg!!IBzWLUs!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97CpvemLPow$">Brigitte Pientka</a> (McGill University, Canada)<br>  * <a href="https://urldefense.com/v3/__https://foones.github.io/__;!!IBzWLUs!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97CpiOReOxg$">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!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97CoRPvI1xQ$">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!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97CqThU1Arw$" target="_blank">Sandra Alves</a> (Universidade de Porto, Portugal)<br>  <a href="https://urldefense.com/v3/__https://carlosareces.github.io/__;!!IBzWLUs!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97Cp6efuJOQ$" target="_blank">Carlos Areces</a> (Universidad Nacional de Cordoba, Argentina)<br>  <a href="https://urldefense.com/v3/__https://www.mat.unb.br/ayala/__;!!IBzWLUs!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97Cou-oN09g$" target="_blank">Mauricio Ayala-Rincón</a> (Universidade de Brasília, Brazil)<br>  <a href="https://urldefense.com/v3/__https://hanielbarbosa.com/__;!!IBzWLUs!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97Cq0zl-nYA$" target="_blank">Haniel Barbosa</a> (Universidade Federal de Minas Gerais, Brazil)<br>  <a href="https://urldefense.com/v3/__https://ebonelli.github.io/__;!!IBzWLUs!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97Crvbq3Jbg$" target="_blank">Eduardo Bonelli</a> (Stevens University, US)<br>  <a href="https://urldefense.com/v3/__https://www.cs.cas.cz/dcerna/__;!!IBzWLUs!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97Cq43YlQqw$" 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!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97CpAMB2k5w$" 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!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97CpQzSNcsA$" 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!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97Cq14nXyjg$" target="_blank">Pascal Fontaine</a> (University of Liege, Belgium)<br>  <a href="https://urldefense.com/v3/__https://lya.fciencias.unam.mx/lcgh/web/__;!!IBzWLUs!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97Cr0FDUmHQ$" 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!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97Cq2oudBqg$" 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!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97CqdDy4qJA$" target="_blank">Fairouz Kamareddine</a> (Heriot-Watt University, UK)<br>  <a href="https://urldefense.com/v3/__https://www.irif.fr/*kesner/__;fg!!IBzWLUs!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97Cp8R-H0PA$" target="_blank">Delia Kesner</a>  (Université Paris Cité, France)<br>  <a href="https://urldefense.com/v3/__https://www3.risc.jku.at/people/tkutsia/__;!!IBzWLUs!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97CogCPYzdg$" 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!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97CoWLOPfVQ$" 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!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97CpinzuGWA$" target="_blank">Mircea Marin</a> (West University of Timisoara, Romania)<br>  <a href="https://urldefense.com/v3/__https://marianomoscato.github.io/__;!!IBzWLUs!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97CqQ3kgIxQ$" 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!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97Cph_E1PTw$" 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!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97CpFE2jSjA$" target="_blank">Miguel Pagano</a> (Universidad Nacional de Córdoba, Argentina)<br>  <a href="https://urldefense.com/v3/__https://vcvpaiva.github.io/__;!!IBzWLUs!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97Coun09_OQ$" 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!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97Crt4Sv8Lw$" target="_blank">Cleo Pau</a> (Johannes Kepler University Linz, Austria)<br>  <a href="https://urldefense.com/v3/__https://sites.google.com/site/elainepimentel/__;!!IBzWLUs!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97CrM1F_IfA$" target="_blank">Elaine Pimentel</a> (University College London, UK)<br>  <a href="https://urldefense.com/v3/__http://logica.uniroma3.it/pistone/__;!!IBzWLUs!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97CrcvgoUDQ$" target="_blank">Paolo Pistone</a> (Università Roma Tre, Italy)<br>  <a href="https://urldefense.com/v3/__https://www.cs.vu.nl/*femke/__;fg!!IBzWLUs!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97CooXG-WTw$" 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!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97CoFOhtIdA$" target="_blank">Andrew Reynolds</a> (University of Iowa, US)<br>  <a href="https://urldefense.com/v3/__https://risc.jku.at/m/wolfgang-schreiner/__;!!IBzWLUs!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97CrVkheD4w$" 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!WH6ceRMm8h8P_Pv7Aoc-O_59sIpC31yID4ApQC2lunlVXy4BRMPDnXPKt6E965TjcTqQY5bTNO3cwsONGQr97CpeeWwsSA$" 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>