LASIGE integrated researcher Alcides Fonseca delivered a keynote entitled “Æon: A Programming Language with Guardrails” at the SLATE’2026, an international symposium about languages, applications and technologies, on 15 April 2026, held in Lisboa.

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