The 17th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) was held in Belo Horizonte, Brazil, on September 23 and 24, 2022. This annual event focuses on the study and application of logical and semantic frameworks, which are formal languages used to represent logics, languages, and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning.
The workshop covered a range of topics, including automated deduction, formal semantics of languages and systems, implementation of logical and semantic frameworks, lambda and combinatory calculi, logical aspects of computational complexity, logical frameworks, process calculi, proof theory, semantic frameworks, specification languages and meta-languages, and type theory. Sessions featured presentations on subjects such as nominal sets in Agda, formal proofs of strong normalization theorems, dynamic logic for reasoning about Reo circuits, and analyses of innermost runtime complexity through tuple interpretations.
In addition to the technical sessions, LSFA 2022 included invited talks by Cláudia Nalon and Ciro Russo, a tutorial on SMT by Haniel Barbosa, and a 'Logic Bar' session for informal discussions on logic topics. The event also provided opportunities for networking during coffee breaks, lunch breaks, and an evening dinner.
LSFA 2022 was particularly relevant for researchers, practitioners, and students interested in logical and semantic frameworks, formal methods, and their applications. Attendees had the opportunity to engage with leading experts, present their work, and participate in discussions on the latest developments in the field.
Speakers(22)
Alexandre Madeira
Alexandre Madeira co-presented on 'Tool Support for Interval Specifications in Differential Dynamic Logic' at LSFA 2022.
Ana Cruz
Ana Cruz presented on 'Paraconsistent Transition Systems' at LSFA 2022.
Bruno Lopes
Bruno Lopes co-presented on 'ReLo: A Dynamic Logic to Reason about Reo Circuits' at LSFA 2022.
Ciro Russo
Professor at Federal University of Bahia
Ciro Russo is a professor at the Federal University of Bahia, Brazil, with expertise in propositional deductive systems and their generalized models.
Cláudia Nalon
Professor at University of Brasília
Cláudia Nalon is a professor at the University of Brasília, Brazil, specializing in modal logics and automated reasoning.
Daniel Figueiredo
Daniel Figueiredo co-presented on 'Tool Support for Interval Specifications in Differential Dynamic Logic' at LSFA 2022.
Deivid Vale
Deivid Vale co-presented on 'Analyzing Innermost Runtime Complexity Through Tuple Interpretations' at LSFA 2022.
Delia Kesner
Delia Kesner co-presented on 'Extending the Quantitative Pattern-Matching Paradigm' at LSFA 2022.
Dohan Kim
Dohan Kim presented on 'Equational Theorem Proving for Clauses over Strings' at LSFA 2022.
Edward Haeusler
Edward Haeusler co-presented on 'Towards a Proof in Lean about the Horizontal Compression of Dag-Like Derivations in Minimal Purely Implicational Logic' at LSFA 2022.
Erick Grilo
Erick Grilo presented on 'ReLo: A Dynamic Logic to Reason about Reo Circuits' at LSFA 2022.
Haniel Barbosa
Professor at Federal University of Minas Gerais
Haniel Barbosa is a professor at the Federal University of Minas Gerais, Brazil, focusing on Satisfiability Modulo Theories (SMT) and automated reasoning.
Jaime Santos
Jaime Santos presented on 'Tool Support for Interval Specifications in Differential Dynamic Logic' at LSFA 2022.
Jefferson Santos
Jefferson Santos co-presented on 'Towards a Proof in Lean about the Horizontal Compression of Dag-Like Derivations in Minimal Purely Implicational Logic' at LSFA 2022.
José Solsona
José Solsona co-presented on 'Nominal Sets in Agda - A Fresh and Immature Mechanization' at LSFA 2022.
Liye Guo
Liye Guo presented on 'Analyzing Innermost Runtime Complexity Through Tuple Interpretations' at LSFA 2022.
Luís Soares Barbosa
Luís Soares Barbosa co-presented on 'Paraconsistent Transition Systems' at LSFA 2022.
Miguel Pagano
Miguel Pagano presented on 'Nominal Sets in Agda - A Fresh and Immature Mechanization' at LSFA 2022.
Miguel Ramos
Miguel Ramos co-presented on 'Extending the Quantitative Pattern-Matching Paradigm' at LSFA 2022.
Robinson Callou
Robinson Callou presented on 'Towards a Proof in Lean about the Horizontal Compression of Dag-Like Derivations in Minimal Purely Implicational Logic' at LSFA 2022.
Sandra Alves
Sandra Alves presented on 'Extending the Quantitative Pattern-Matching Paradigm' at LSFA 2022.
Sebastián Urciuoli
Sebastián Urciuoli presented on 'A Formal Proof of the Strong Normalization Theorem for System T in Agda' at LSFA 2022.
Event Details
- Date
- September 23-24, 2022
- 2 days
- Location
- 🇧🇷 Belo Horizonte, Brazil
- ICEx building, room 2077, Universidade Federal de Minas Gerais (UFMG)
- Pricing
- Free
- Audience
- Researchers, practitioners, and students interested in logical and semantic frameworks and formal methods.