(Location TBD, 2027)

Overview

TrustedSoftwAIr’27 seeks to bring together researchers and practitioners working on using AI to simplify building provably correct software systems across the Programming Languages, Artificial Intelligence, Mathematics, Human-Computer Interaction, Verification, and Software Engineering domains. Recent advances in LLM-driven and agent-based AI have dramatically changed the accessibility of previously labor- and skill-intensive techniques for proving the correctness of software. Advances in technology for formalizing program specifications, generating proofs for those specifications, and maintaining verification proofs are now spread across many disciplines, making it difficult for researchers and practitioners to stay current with all the diverse advances and the relevant people. TrustedSoftwAIr’27 seeks to provide a mixing pot for ideas from these diverse disciplines, and to enable crosspollination and collaboration.

See our call for papers.

Organizers

Emily First
Emily First
Rutgers University
Yuriy Brun
Yuriy Brun
UMass Amherst

Contact: emily.first@rutgers.edu