TrustedSoftwAIr

TrustedSoftwAIr 2027 with ICSE 2027

Please see https://trustedsoftwair.github.io for more information! The 2027 International Workshop on Building Trusted Software with AI (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, Human-Computer Interaction, Verification, and Software Engineering doma ...