Logic List Mailing Archive

LSFA 2022: Logical & Semantic Frameworks with Applications

23-24 Sep 2022
Belo Horizonte, Brazil

17th Workshop on Logical and Semantic Frameworks with Applications - 
LSFA 2022

23-24 September 2022

Belo Horizonte, Brazil

First Call For Papers


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.

See lsfa.cic.unb.br for more information.

LSFA topics of interest include, but are not limited to:

* Automated deduction
* Applications of logical and semantic frameworks
* Computational and logical properties of semantic frameworks
* Formal semantics of languages and systems
* Implementation of logical and semantic frameworks
* Lambda and combinatory calculi
* Logical aspects of computational complexity
* Logical frameworks
* Process calculi
* Proof theory
* Semantic frameworks
* Specification languages and meta-languages
* Type theory


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:
?? https://easychair.org/conferences/?conf=lsfa2022

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.

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 http://lsfa.cic.unb.br).

***Important dates***

* Abstract: Monday 2 May
* Submission: Monday 9 May
* Notification: Saturday 9 July
* Preliminary proceedings version due: Thursday 1 September

* Conference: Friday-Saturday 23-24 September

* Submission for final EPTCS proceedings: Monday 17 October
* Final version: Monday 21 November

***Program Committee***

Beniamino Accattoli, Inria & ??cole Polytechnique, France
Sandra Alves, Universidade de Porto, Portugal
Carlos Areces, Universidad Nacional de C??rdoba, Argentina
Mauricio Ayala Rinc??n, Universidade de Bras??lia, Brazil
Haniel Barbosa, Universidade Federal de Minas Gerais, Brazil
Mario R. Folhadela Benevides, Universidade Federal Fluminense, Brazil
Alejandro D??az-Caro, Universidad Nacional de Quilmes & ICC,
CONICET/Universidad de Buenos Aires, Argentina
Amy Felty, University of Ottawa, Canada
Pascal Fontaine, University of Li??ge, Belgium (co-chair)
Edward Hermann Haeusler, PUC-Rio de Janeiro, Brazil
Delia Kesner, Universit?? de Paris, France
Temur Kutsia, RISC/Johannes Kepler University Linz, Austria
Bruno Lopes, Universidade Federal Fluminense, Brazil
Ian Mackie, Polytechnique, France, and University of Sussex, UK
Alexandre Madeira, Universidade de Aveiro, Portugal
S??rgio Marcelino, University of Lisbon, Portugal
Mariano Moscato, National Institute of Aerospace, USA
Daniele Nantes, Universidade de Bras??lia, Brazil (co-chair)
Vivek Nigam, Huawei Munich Research Center, Germany
Carlos Olarte, Universit?? Sorbonne Paris Nord, France
Mateus de Oliveira Oliveira, University of Bergen, Norway
Valeria de Paiva, Topos Institute,?? Berkeley, USA, Brazil
Alberto Pardo, Universidad de la Rep??blica, Uruguay
Elaine Pimentel, University College London, UK
Giselle Reis, Carnegie Mellon University-Qatar, Qatar
Umberto Rivieccio, Universidade Federal do Rio Grande do Norte, Brazil
Camilo Rocha, Pontificia Universidad Javeriana - Cali, Colombia
Daniel Ventura, Universidade Federal de Goi??s, Brazil
Petrucio Viana, Universidade Federal Fluminense, UFF, Brazil


Haniel Barbosa (UFMG, Brazil)
Mario S. Alvim (UFMG, Brazil)
[LOGIC] mailing list
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam