LASIGE integrated researcher Alcides Fonseca will deliver a keynote entitled “Æon: A Programming Language with Guardrails” at the SLATE’2026, an international symposium about languages, applications and technologies, on 25-26 June 2026, that will take place in Lisboa.

Our researcher will explore the programming language Æon that supports different algorithms: LLMs, Genetic Programming and SMT Solvers, highlighting the advantages of an advanced type system (Liquid Types) to validate whether the generated code is correct, and also will cover how to make the best out of those techniques, showing examples more suitable for some techniques.