Email Gateway (May 07 2025 at 21:16): Email Gateway (May 07 2025 at 21:16):From: Christophe Ringeissen <christophe.ringeissen@loria.fr>
[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):
Last updated: May 30 2025 at 04:27 UTC