International Conference
Education
, Lisbon, Portugal
2026-07-18 - 2026-07-19
cristina.sernadas@tecnico.ulisboa.pt
Conference Details : The 21st International Symposium on Logical and Semantic Frameworks, with Applications (LSFA 2026) is an affiliated workshop of the to 11th International Conference on Formal Structures for Computation and Deduction (FSCD 2026) to be held in Lisbon, Portugal, 18 - 19 July, 2026, as part of FLoC.