[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
21st International Symposium on Logical and Semantic Frameworks, with
Applications (LSFA 2026)
18 -19, July 2026
https://urldefense.com/v3/__https://lsfa-workshop.github.io/2026/__;!!IBzWLUs!T0AyFdc2dFX2DwDznfVheWDAwX4tCANCsQbQQwIsFG45UOW965J0tNon-ZTGUy3HpU0-3YgKXwyQ0tfFAAVP4oeRsdU9$
________________________________
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://urldefense.com/v3/__https://lsfa-workshop.github.io/__;!!IBzWLUs!T0AyFdc2dFX2DwDznfVheWDAwX4tCANCsQbQQwIsFG45UOW965J0tNon-ZTGUy3HpU0-3YgKXwyQ0tfFAAVP4n2mnyFZ$
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
https://urldefense.com/v3/__http://sweet.ua.pt/madeira/__;!!IBzWLUs!T0AyFdc2dFX2DwDznfVheWDAwX4tCANCsQbQQwIsFG45UOW965J0tNon-ZTGUy3HpU0-3YgKXwyQ0tfFAAVP4rYP723t$
