[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.
