<div dir="ltr"><div id="gmail-:3ug" class="gmail-Ar gmail-Au gmail-Ao"><div id="gmail-:3uk" class="gmail-Am gmail-Al editable gmail-LW-avf gmail-tS-tW gmail-tS-tY" aria-label="Message Body" role="textbox" aria-multiline="true" tabindex="1" style="direction:ltr;min-height:280px" aria-controls=":5te"><font face="monospace"><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!XVVgiyENbdBIr_nhvz6ijUh3yXVWppGmzEuHHrDXaiay_N92DTWLXQVp_aiEs4Rc0fGC_ex9hSCPujTbWLRIlaOB8qadCA$" 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!XVVgiyENbdBIr_nhvz6ijUh3yXVWppGmzEuHHrDXaiay_N92DTWLXQVp_aiEs4Rc0fGC_ex9hSCPujTbWLRIlaN0R30CcA$" target="_blank">FSCD 2023</a>, Rome, Italy<br><br>                     <b>Call For Participation </b></font><div><font face="monospace"><b>                  (<font color="#ff0000">online attendance available</font>)</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!XVVgiyENbdBIr_nhvz6ijUh3yXVWppGmzEuHHrDXaiay_N92DTWLXQVp_aiEs4Rc0fGC_ex9hSCPujTbWLRIlaPD5dTNsA$" 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></font></div><div><font face="monospace"><b>Invited Speakers<br></b><br>  * <a href="https://urldefense.com/v3/__https://www.cs.ru.nl/*cynthiakop/index_en.html__;fg!!IBzWLUs!XVVgiyENbdBIr_nhvz6ijUh3yXVWppGmzEuHHrDXaiay_N92DTWLXQVp_aiEs4Rc0fGC_ex9hSCPujTbWLRIlaM2C0OG9g$" 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!XVVgiyENbdBIr_nhvz6ijUh3yXVWppGmzEuHHrDXaiay_N92DTWLXQVp_aiEs4Rc0fGC_ex9hSCPujTbWLRIlaOGTViB2g$" target="_blank">LFMTP'23</a>]    <br>  * <a href="https://urldefense.com/v3/__https://www.cs.mcgill.ca/*bpientka/__;fg!!IBzWLUs!XVVgiyENbdBIr_nhvz6ijUh3yXVWppGmzEuHHrDXaiay_N92DTWLXQVp_aiEs4Rc0fGC_ex9hSCPujTbWLRIlaNalkDaBA$" target="_blank">Brigitte Pientka</a> (McGill University, Canada)<br>  * <a href="https://urldefense.com/v3/__https://foones.github.io/__;!!IBzWLUs!XVVgiyENbdBIr_nhvz6ijUh3yXVWppGmzEuHHrDXaiay_N92DTWLXQVp_aiEs4Rc0fGC_ex9hSCPujTbWLRIlaNA4_0Aag$" 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!XVVgiyENbdBIr_nhvz6ijUh3yXVWppGmzEuHHrDXaiay_N92DTWLXQVp_aiEs4Rc0fGC_ex9hSCPujTbWLRIlaOGTViB2g$" target="_blank">LFMTP'23</a> on July 2.<br><br></font></div><div><b style="font-family:monospace">Accepted Papers</b><span style="font-family:monospace">: see </span><a href="https://urldefense.com/v3/__https://sites.google.com/ufg.br/lsfa2023/accepted-papers__;!!IBzWLUs!XVVgiyENbdBIr_nhvz6ijUh3yXVWppGmzEuHHrDXaiay_N92DTWLXQVp_aiEs4Rc0fGC_ex9hSCPujTbWLRIlaNXkoOQ6Q$" style="font-family:monospace">https://sites.google.com/ufg.br/lsfa2023/accepted-papers</a><br></div><div><font face="monospace"><br><b>Registration</b> (<font color="#ff0000"><b>May 31 - </b></font></font><span style="font-family:monospace"><font color="#ff0000"><b>early registration deadline</b></font></span><span style="font-family:monospace">)</span></div><div><font face="monospace"><br>  see <a href="https://urldefense.com/v3/__https://easyconferences.eu/fscd2023/registration1/__;!!IBzWLUs!XVVgiyENbdBIr_nhvz6ijUh3yXVWppGmzEuHHrDXaiay_N92DTWLXQVp_aiEs4Rc0fGC_ex9hSCPujTbWLRIlaPT1_GYEg$">https://easyconferences.eu/fscd2023/registration1/</a> </font></div><div><font face="monospace">      (<b><font color="#ff0000">online registration fee available</font></b>)<br></font></div><div><font face="monospace"><br></font></div><div><font face="monospace">=====================================================================</font></div></div></div></div></div></div>