Skip to main navigation Skip to search Skip to main content

VerifyThis 2026: Best Student Team

Prize

Description

Best student team (ex aequo) at the VerifyThis competition with the "VerCors --dev-unsafe-optimization" team.
Awarded date13 Apr 2026

Awarded at event

Event titleVerifyThis Competition 2026
LocationColocated with ETAPS 2026, Turin, ItalyShow on map
Period11 Apr 2026 → 12 Apr 2026