Welcome to the Workshop on Auto-active Verification (WAVE 2027) submissions site. For general information, see https://popl27.sigplan.org/home/wave-2027.

Submissions

Sign in to manage submissions.

Deadline: Wednesday Oct 7, 2026, 11:59:59 PM AoE