osmosis Europe 2025

Formal verification conference
Date: Thursday, October 16, 2025 

Time: Registration & coffee opens at 8:00

Program: 9:00 - 17:50, followed by complimentary dinner