osmosis Europe 2025

Formal verification conference
Date: Thursday, October 16, 2025 

Time: Registration & coffee opens at 8:30

Program: 9:30 - 17:45, followed by complimentary dinner