WAVE 2027 — Workshop on Auto-active Verification

Name: WAVE 2027 — Workshop on Auto-active Verification
Start: 2027-01-10
End: 2027-01-16
Location: Hilton Mexico City Reforma

In personWorkshop

When: 10 – 16 January 2027 (UTC−6)
Times are shown in the venue time zone (America/Mexico City, UTC−6).
Where: Hilton Mexico City Reforma, Mexico City, Mexico
Format: In person
Topics: Science QA & Testing
Price: Not specified
Organizer: ACM SIGPLAN

About the event

An ACM SIGPLAN workshop on methods and tools for automated active verification. It takes place in person in Mexico City alongside POPL 2027.

Machine-translated

Information was collected from these websites. Please verify details with the organizer.