Brussels / 31 January & 1 February 2026

schedule

Guillaume Claret

Events

Title Day Room Track Start End
Formal Verification in Rocq, an Exhaustive Testing
Sunday H.2213 Testing and Continuous Delivery 16:25 17:00