VeriLang

VeriLang 2026 with ECOOP 2026

Verification languages such as, among others, Coq, Lean, Agda, Athena, Liquid Haskell, Maude ,… have become central tools for building reliable software and for advancing formal methods research. While each language has its own community and conference, there is a growing need for a shared forum where researchers can exchange insights across language boundaries. The First Workshop on Verification Languages aims ...