21st International Symposium on Logical and Semantic Frameworks, with Applications (LSFA 2026) 18 -19, July 2026 https://lsfa-workshop.github.io/2026/ ________________________________ The LSFA series is a platform that fosters collaboration, bringing together theoreticians and practitioners. LSFA aims to promote techniques and results from the theoretical side, ranging from well-established ones such as lambda calculus and type theory to state-of-the-art ones such as machine learning, and provide feedback on integrating, implementing, and using such methods and results from the practical side. See https://lsfa-workshop.github.io/ for further information. ________________________________ The workshop will have sixteen contributed presentations and four invited talks by
* Diana Costa, Universidade de Lisboa; * Haniel Barbosa, Universidade Federal de Minas Gerais; * Sandra Alves, Universidade do Porto; * Santiago Escobar, Universidad Politécnica de Valencia. Titles and abstracts of invited talks are available on the webpage, in the "Program" section. We are looking forward to seeing you there! ------------------------------------------------------- Alexandre Madeira http://sweet.ua.pt/madeira/
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
