<div dir="ltr"><div>17th Workshop on Logical and Semantic Frameworks with Applications -<br></div><div>LSFA 2022<br><br>23-24 September 2022<br><a href="https://urldefense.com/v3/__https://lsfa2022.dcc.ufmg.br/__;!!IBzWLUs!Hb5jKFdvHnb21Q-pz8xZGKSfLUvZtMNud98yGCAAYHgZokfexpgTJ826gz0v_lXqkVROOuQR09AkAg$" target="_blank">https://lsfa2022.dcc.ufmg.br/<br></a><br>Belo Horizonte, Brazil<br><br><br>First  Call for Papers <br><br>***Overview***<br><br>Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and computational languages, supporting tool development and reasoning. The LSFA series' objective is to put together theoreticians and practitioners to promote new techniques and results, from the theoretical side, and feedback on the implementation and use of such techniques and results, from the practical side.<br><br>See <a href="https://urldefense.com/v3/__http://lsfa.cic.unb.br__;!!IBzWLUs!Hb5jKFdvHnb21Q-pz8xZGKSfLUvZtMNud98yGCAAYHgZokfexpgTJ826gz0v_lXqkVROOuSQ1kPXMw$" target="_blank">lsfa.cic.unb.br</a> for more information.<br><br>LSFA topics of interest 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>***Submissions***<br><br>Contributions should be written in English and submitted in full paper (with a maximum of 16 pages excluding references) or short papers (with a maximum of 6 pages excluding references). They must be unpublished and not submitted simultaneously for publication elsewhere. The papers should be prepared in LaTeX using the EPTCS style. The submission should be in the form of a PDF file uploaded to Easychair:<br>  <a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=lsfa2022__;!!IBzWLUs!Hb5jKFdvHnb21Q-pz8xZGKSfLUvZtMNud98yGCAAYHgZokfexpgTJ826gz0v_lXqkVROOuT7zgdgVw$" target="_blank">https://easychair.org/conferences/?conf=lsfa2022</a><br><br>The pre-proceedings, containing the reviewed papers, will be available at the LSFA's webpage. After the meeting, the authors will be invited to submit full versions of their works for the post-proceedings publication. At least one of the authors of each submission must register for the conference. Presentations should be in English.<br><br>According to the submissions' quality, the chairs will promote the further publication of journal revised versions of the papers. Previous LSFA Special Issues have been published in journals such as The Logical J. of the IGPL, Theoretical Computer Science and Mathematical Structures in Computer Sciences (see the LSFA page <a href="https://urldefense.com/v3/__http://lsfa.cic.unb.br__;!!IBzWLUs!Hb5jKFdvHnb21Q-pz8xZGKSfLUvZtMNud98yGCAAYHgZokfexpgTJ826gz0v_lXqkVROOuSQ1kPXMw$" target="_blank">http://lsfa.cic.unb.br</a>).<br><br>***Important dates***<br><br>* Abstract: Monday 2 May<br>* Submission: Monday 9 May<br>* Notification: Saturday 9 July<br>* Preliminary proceedings version due: Thursday 1 September<br><br>* Conference: Friday-Saturday 23-24 September<br><br>* Submission for final EPTCS proceedings: Monday 17 October<br>* Final version: Monday 21 November<br><br>***Program Committee***<br><br>Beniamino Accattoli, Inria & École Polytechnique, France<br>Sandra Alves, Universidade de Porto, Portugal<br>Carlos Areces, Universidad Nacional de Córdoba, Argentina<br>Mauricio Ayala Rincón, Universidade de Brasília, Brazil<br>Haniel Barbosa, Universidade Federal de Minas Gerais, Brazil<br>Mario R. Folhadela Benevides, Universidade Federal Fluminense, Brazil<br>Alejandro Díaz-Caro, Universidad Nacional de Quilmes & ICC, CONICET/Universidad de Buenos Aires, Argentina<br>Amy Felty, University of Ottawa, Canada<br>Pascal Fontaine, University of Liège, Belgium (co-chair)<br>Edward Hermann Haeusler, PUC-Rio de Janeiro, Brazil<br>Delia Kesner, Université de Paris, France<br>Temur Kutsia, RISC/Johannes Kepler University Linz, Austria<br>Bruno Lopes, Universidade Federal Fluminense, Brazil<br>Ian Mackie, Polytechnique, France, and University of Sussex, UK<br>Alexandre Madeira, Universidade de Aveiro, Portugal<br>Sérgio Marcelino, University of Lisbon, Portugal<br>Mariano Moscato, National Institute of Aerospace, USA<br>Daniele Nantes, Universidade de Brasília, Brazil (co-chair)<br>Vivek Nigam, Huawei Munich Research Center, Germany<br>Carlos Olarte, Université Sorbonne Paris Nord, France<br>Mateus de Oliveira Oliveira, University of Bergen, Norway<br>Valeria de Paiva, Topos Institute,  Berkeley, USA, Brazil<br>Alberto Pardo, Universidad de la República, Uruguay<br>Elaine Pimentel, University College London, UK<br>Giselle Reis, Carnegie Mellon University-Qatar, Qatar<br>Umberto Rivieccio, Universidade Federal do Rio Grande do Norte, Brazil<br>Camilo Rocha, Pontificia Universidad Javeriana - Cali, Colombia<br>Daniel Ventura, Universidade Federal de Goiás, Brazil<br>Petrucio Viana, Universidade Federal Fluminense, UFF, Brazil<br><br>***Organisers***<br><br>Haniel Barbosa (UFMG, Brazil)<br>Mario S. Alvim (UFMG, Brazil)<br><div><br></div>-- <br><div dir="ltr" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div dir="ltr">Daniele Nantes<div>Grupo de Teoria da Computação</div><div>Departamentos de Matemática e Computação<br></div><div>Universidade de Brasília</div><div><a href="https://urldefense.com/v3/__http://www.mat.unb.br/*dnantes__;fg!!IBzWLUs!Hb5jKFdvHnb21Q-pz8xZGKSfLUvZtMNud98yGCAAYHgZokfexpgTJ826gz0v_lXqkVROOuS-LED8qQ$" target="_blank">www.mat.unb.br/~dnantes</a><br></div></div></div></div></div></div></div></div>