Join FME – Formal Methods Europe – community

Formal Methods Europe (FME) is a worldwide association bringing together researchers and practitioners interested in formal methods for developing computing systems and software. FME’s aim is to promote research in formal methods and its applications. The association’s members are drawn equally from academic institutes and commercial companies. FME’s activities include the dissemination of research findings and industrial experience through symposia and Read More …

Share with the CAV community

Would you like to share any study material or do you have any announcements regarding job openings, conferences, scholarships, …? We are happy to publish your ideas and information here on CAVlinks! Please contact us using this form.

Read More …