[Event at CIG] LSFA'26 call for participation

[Alexandre Madeira]

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/