Email Gateway (Jan 27 2025 at 21:37): Email Gateway (Jan 27 2025 at 21:37):From: Christophe Ringeissen <christophe.ringeissen@inria.fr>
[Apologies for multiple copies]
=====================================================================
Call for Papers
LSFA 2025
The 20th International Symposium on
Logical and Semantic Frameworks, with Applications
Brasília, Brazil, October 6-8, 2025
co-located with CICM 2025
https://lsfa-workshop.github.io/2025/
=====================================================================
The 20th International Symposium on Logical and Semantic Frameworks,
with Applications (LSFA 2025) is a satellite event of the 18th
Conference on Intelligent Computer Mathematics (CICM 2025) to be held
in Brasília, the capital of Brazil, from October 6 to October 11,
2025.
LSFA is an International Symposium on Logical and Semantic Frameworks
with Applications (see https://lsfa-workshop.github.io/) launched in
2006. Logical and semantic frameworks are formal languages that
represent logics and languages, as well as computational, AI and
deductive systems. These frameworks provide mathematical foundations
for the formal specification of systems and programming languages,
supporting tool development and reasoning.
The LSFA series is a platform that fosters collaboration, bringing
together theoreticians and practitioners. LSFA aims to promote
techniques and results from the theoretical side, ranging from
well-established ones such as lambda calculus and type theory to
state-of-the-art ones such as machine learning, and provide feedback
on integrating, implementing and using such methods and results from
the practical side.
Topics
A non-exhaustive list of topics of interest includes:
Submission
Contributions should be written in English and submitted in the form
of full papers (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 EPTCS
style. The submission should be in the form of a PDF file uploaded to
EasyChair:
https://easychair.org/conferences/?conf=lsfa2025
Submissions will be evaluated by the Program Committee regarding their
significance for the symposium. The accepted papers will appear in
the LSFA 2025 proceedings, published online (EPTCS proceedings, to be
confirmed). At least one of the authors should register for the
conference. Presentations should be in English.
According to the quality of submissions, the chairs will promote
further publication of journal revised versions of the
papers. Previous LSFA Special Issues have been published in journals
as The Logical J. of the IGPL, Theoretical Computer Science and
Mathematical Structures in Computer Science.
Important Dates
Invited Speakers
Temur Kutsia, RISC, Johannes Kepler University (joint with CICM 2025)
Bruno Lopes, Instituto de Computação, Universidade Federal Fluminense
Yoni Zohar, Department of Computer Science, Bar Ilan University
Program Committee Chairs
Haniel Barbosa, Universidade Federal de Minas Gerais, Belo Horizonte, Brazil
Christophe Ringeissen, Inria & LORIA, Nancy, France
Program Committee Members
Beniamino Accattoli, Sandra Alves, Carlos Areces, Thaynara Arielly de Lima,
Mauricio Ayala-Rincón, Benjamín Bedregal, Juliana Bowles, David Cerna,
Alejandro Díaz-Caro, Marcelo Finger, Mário Florido, Pascal Fontaine,
Delia Kesner, Alberto Momigliano, Flavio L. C. De Moura, Cláudia Nalon,
Daniele Nantes-Sobrinho, Carlos Olarte, Elaine Pimentel, Camilo Rocha,
Helida Santos, Mallku Soldevila, Deivid Vale, Daniel Ventura
Organizing Committee
Andréia B. Avelar, Universidade de Brasília, Brazil
Mauricio Ayala-Rincón, Universidade de Brasília, Brazil
André Luiz Galdino, Universidade Federal de Catalão, Brazil
Flavio L. C. de Moura, Universidade de Brasília, Brazil
Cláudia Nalon, Universidade de Brasília, Brazil
Daniele Nantes-Sobrinho, Imperial College, UK & Universidade de Brasília, Brazil
Last updated: Jan 30 2025 at 04:21 UTC