coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] LSFA 2025: Extended Deadlines (abstracts: May 19, papers: May 26)

From: Christophe Ringeissen <christophe.ringeissen AT loria.fr>
To: "types-announce AT lists.seas.upenn.edu" <types-announce AT LISTS.SEAS.UPENN.EDU>, rewriting AT ens-lyon.fr, maude-users AT cs.uiuc.edu, coq-club AT inria.fr, caml-list AT inria.fr, ProofTheory AT lists.bath.ac.uk, cl-isabelle-users AT lists.cam.ac.uk, theory-logic AT cs.cmu.edu, theorynt AT listserv.nodak.edu, fscd.conference AT dcc.fc.up.pt, fm-announcements AT lists.nasa.gov, lfcs-interest AT dcs.ed.ac.uk, pvs AT csl.sri.com, theorem-provers AT ai.mit.edu, "SIGSAM-FRIENDS AT listserv.acm.org" <SIGSAM-FRIENDS AT LISTSERV.ACM.ORG>, "DISTRIBUTED-AI AT jiscmail.ac.uk" <DISTRIBUTED-AI AT JISCMAIL.AC.UK>, gdr-ifm AT gdr-ifm.fr
Subject: [Coq-Club] LSFA 2025: Extended Deadlines (abstracts: May 19, papers: May 26)
Date: Wed, 7 May 2025 23:02:59 +0200
Authentication-results: mail3-relais-sop.national.inria.fr; dkim=none (message not signed) header.i=none

[Apologies for multiple copies. Submission deadlines have been extended: May
19 (AoE) for the abstracts, May 26 (AoE) for the papers]

LSFA 2025: 20th INTERNATIONAL SYMPOSIUM ON
LOGICAL AND SEMANTIC FRAMEWORKS WITH APPLICATIONS
October 6-8, 2025, Brasília, Brazil
co-located with CICM 2025
https://lsfa-workshop.github.io/2025/
CALL FOR PAPERS
* LSFA is an annual 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.
* A non-exhaustive list of topics of interest includes:
automated deduction; applications of logical and/or semantic
frameworks; computational and logical properties of semantic
frameworks; formal semantics of languages and systems; implementation
of logical and/or 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.
* Important dates (AoE):
- Abstract submission: May 19, 2025 (extended, previously May 5)
- Paper submission: May 26, 2025 (extended, previously May 12)
- Notification: June 27, 2025
- Camera-ready: July 18, 2025
* 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
* Detailed information can be found on the webpage.

[Coq-Club] LSFA 2025: Extended Deadlines (abstracts: May 19, papers: May 26), Christophe Ringeissen, 05/07/2025