VeriLang 2026 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

R Camilo RochaRocha, Camilo Pontificia Universidad JaverianaColombia Co-chair in Organizing Committee within the VeriLang-track
S Claudio Sacerdoti CoenSacerdoti Coen, Claudio University of Bologna Committee Member in Organizing Committee within the VeriLang-track
Mateo SanabriaSanabria, Mateo Universidad de los Andes Co-chair in Organizing Committee within the VeriLang-track
V Niki VazouVazou, Niki IMDEA Software Institute Committee Member in Organizing Committee within the VeriLang-track