[TYPES/announce] LSFA 2025: Extended Deadlines (abstracts: May 19, papers: May 26)

[Christophe Ringeissen]

[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://urldefense.com/v3/__https://lsfa-workshop.github.io/2025/__;!!IBzWLUs!Q23gP84Zl2S8QMJSHItDayppfnS6Q3wR8uaY8TpJyH3viZwrhOGaQwECfUsTaARTusEzcmqOzjXsJbyjIdV6ij4GAqDzHZ6dRobQPWyq_as$ 
CALL FOR PAPERS
* LSFA is an annual International Symposium on Logical and Semantic
Frameworks with Applications (see https://urldefense.com/v3/__https://lsfa-workshop.github.io/__;!!IBzWLUs!Q23gP84Zl2S8QMJSHItDayppfnS6Q3wR8uaY8TpJyH3viZwrhOGaQwECfUsTaARTusEzcmqOzjXsJbyjIdV6ij4GAqDzHZ6dRobQHXfjK-s$ )
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.