FORM
FORM: Centre for Formal Methods and Future Computing
FORM is the first research centre focused on the development of CSLib, hosted by the Danish Institute for Advanced Study, University of Southern Denmark. Its mission is to unlock the large-scale application of formal methods in software development.
The centre acts as an international hub for research projects on the development of CSLib and strategic downstream projects. On top of planning and carrying out projects on CSLib and formal methods in general, FORM is a platform for the education and career development of researchers interested in these areas. The centre also offers expert supervision, support for CSLib's roadmapping, research capacity, workshops, and possibilities for funded scientific visits.
FORM has a tight collaboration with the CSLib governance body and the CSLib Initiative.
You can read more about FORM on FORM's official website (opens in another tab).
Contact
If you want to get in touch with FORM to discuss collaborations or general inquiries, you can contact the Centre Director Fabrizio Montesi or write directly to form@sdu.dk.
