News from the Centre for Formal Methods and Future Computing (FORM)

Global Initiative Aims to Bring Mathematical Certainty to Modern Software and AI

The University of Southern Denmark plays a leading role in a new international initiative, CSLib, which aims to build a shared formal infrastructure for developing software with mathematical guarantees.