The International Workshop on
Infrastructure for Trustworthy Software Agents
Advancing the systems, methods, and shared foundations needed to evaluate, observe, reproduce, and safely deploy agentic software.
Submission deadlines: Abstracts are due November 1st, 2026, and full papers are due November 6th, 2026. All deadlines are Anywhere on Earth (AoE).
About AGENTVERIFY
Large language model (LLM)-based agents are rapidly transforming software engineering. Recent agents can inspect repositories, invoke tools, execute tests, edit files, search documentation, interact with development environments, and generate patches. These capabilities create exciting opportunities for code generation, debugging, testing, program repair, code review, software maintenance, and repository-level automation.
At the same time, they introduce new reliability, safety, reproducibility, and evaluation challenges that are not fully addressed by existing software testing, AI evaluation, or benchmark methodologies. AGENTVERIFY aims to bring together researchers and practitioners to define and advance the emerging research area of infrastructure for trustworthy software agents.
The workshop focuses on the broader execution stack that shapes agent behavior, including prompts, tools, skills, harnesses, sandboxes, benchmarks, telemetry, memory, grading scripts, and evaluation protocols. Rather than treating agent performance as solely a property of the underlying model, AGENTVERIFY emphasizes the engineering infrastructure needed to evaluate, observe, debug, reproduce, and safely deploy agentic systems in realistic software engineering environments.
Organizing Committee
Song WangYork University
Canada
Gias UddinYork University
Canada
Jinqiu YangConcordia University
Canada
Lin ShiBeihang University
China
Nachiappan NagappanMeta
USA
Program Committee
Earl T. BarrUniversity College London · United Kingdom
Alvine Boaye BelleYork University · Canada
Boqi ChenUniversity of Ottawa · Canada
Tse-Hsun (Peter) ChenConcordia University · Canada
Filipe CogoQueen's University · Canada
Danny DigUniversity of Colorado Boulder, JetBrains Research · United States
Maxime LamothePolytechnique Montréal · Canada
Shaohua LiThe Chinese University of Hong Kong · Hong Kong SAR, China
Kui LiuHuawei · China
Henry MucciniUniversity of L'Aquila · Italy
Noor NashidUniversity of British Columbia · Canada
Denys PoshyvanykWilliam & Mary · United States
Ayushi RastogiUniversity of Groningen · Netherlands
Weiyi ShangUniversity of Waterloo · Canada
Ridwan Salihin ShariffdeenSonarSource · Singapore
Jiayang SongMacau University of Science and Technology · Macao SAR, China
Aishanee ShahGoogle · United States
Kla TantithamthavornMonash University · Australia
Kundi YaoOntario Tech University · Canada
Xujie SiUniversity of Toronto · Canada
Chao PengTencent · China
Rishabh KumarAirbnb · United States
AGENTVERIFY 2027