16th Logical and Semantic Frameworks with Applications

LSFA 2021

23-24 July 2021

Affiliated to 6th Formal Structures for Computation and Deduction 2021.
Buenos Aires, Argentina (online)