LSFA 2023: 18th International Logical and Semantic Frameworks with Applications Sapienza Università di Roma Rome, Italy, July 1-2, 2023 |
Conference website | https://sites.google.com/ufg.br/lsfa2023 |
Submission link | https://easychair.org/conferences/?conf=lsfa2023 |
Abstract registration deadline | April 29, 2023 |
Submission deadline | May 8, 2023 |
Author notification | May 27, 2023 |
Preliminary proceedings version | June 10, 2023 |
18th Logical and Semantic Frameworks with Applications - LSFA 2023
1-2 July 2023
https://sites.google.com/ufg.br/lsfa2023
Affiliated to FSCD 2023, Rome, Italy
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 the use of such techniques and results, from the practical side.
See lsfa-workshop.github.io/ for more information.
Submission Guidelines
Contributions should be written in English and submitted as:
- Full papers (16 pages max.);
- Short papers (6 pages max.).
They must be unpublished and not submitted simultaneously forpublication elsewhere. The papers should be prepared in LaTeX usingthe EPTCS style. The submission should be in the form of a PDF fileuploaded to Easychair:
https://easychair.org/conferences/?conf=lsfa2023
At least one of the authors of each submission must register for the conference. Presentations should be in English.
List of Topics
- 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
Committees
Program Committee
- Sandra Alves (Universidade de Porto, Portugal)
- Carlos Areces (Universidad Nacional de Cordoba, Argentina)
- Mauricio Ayala-Rincón (Universidade de Brasília, Brazil)
- Haniel Barbosa (Universidade Federal de Minas Gerais, Brazil)
- Eduardo Bonelli (Stevens University, US)
- David Cerna (Czech Academy of Sciences Institute of Computer Science)
- Alejandro Diaz-Caro (UNQ & ICC CONICET-UBA, Argentina)
- Marcelo Finger (Universidade de São Paulo, Brazil)
- Pascal Fontaine (University of Liege, Belgium)
- Lourdes del Carmen González Huesca (UNAM, Mexico)
- Giulio Guerrieri (Aix-Marseille Université, France)
- Fairouz Kamareddine (Heriot-Watt University, UK)
- Delia Kesner (Université Paris Cité, France)
- Temur Kutsia (Johannes Kepler University Linz, Austria) - Co-Chair
- Marina Lenisa (Università di Udine, Italy)
- Mircea Marin (West University of Timisoara, Romania)
- Mariano Moscato (NASA, US)
- Daniele Nantes-Sobrinho (Imperial College London, UK)
- Miguel Pagano (Universidad Nacional de Córdoba, Argentina)
- Valeria de Paiva (Topos Institute, Berkeley, US)
- Cleo Pau (Johannes Kepler University Linz, Austria)
- Elaine Pimentel (University College London, UK)
- Paolo Pistone (Università Roma Tre, Italy)
- Femke van Raamsdonk (Vrije Universiteit Amsterdam, The Netherlands)
- Andrew Reynolds (University of Iowa, US)
- Wolfgang Schreiner (Johannes Kepler University Linz, Austria)
- Daniel Ventura (Universidade Federal de Goiás, Brazil) - Co-Chair
Organizing committee
- Daniele Nantes-Sobrinho (Imperial College London, UK)
- David Cerna (Czech Academy of Sciences Institute of Computer Science)
Publication
LSFA 2023 Pre-proceedings, containing the reviewed papers, will be available on the conference webpage by the time of the event. After the meeting, the authors will be invited to submit full versions of their works for the post-proceedings publication in EPTCS (TBC).
According to the submissions' quality, the chairs will promote 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 https://lsfa-workshop.github.io/).
Contact
All questions about submissions should be emailed to ventura <at> ufg <dot> br or kutsia <at> risc <dot> jku <dot >at.