Calling all formal verification enthusiasts: We are excited to invite you to osmosis 2024, marking the 5th anniversary of this…
