Researchers, engineers, and students will gather at LAB42 in Amsterdam Science Park for the Dutch Formal Methods Day. Organised by the ILLC at the University of Amsterdam, the event is aimed at anyone working with or interested in formal methods and their role in software and system development.
June 26, 2025
Lab42, Amsterdam Science Park
10:00-18:00 hrs
The Dutch Formal Methods Day presents current research and practice in formal methods—mathematical techniques used to design and verify software and hardware systems. These methods are vital in domains where reliability is critical, such as cybersecurity, AI, medical technology, and embedded systems. The event underlines the growing importance of formal methods in building secure, scalable, and transparent technologies.
Formal methods are used to prove the correctness of complex algorithms, AI models, and technical infrastructures. They help businesses minimise risks, ensure compliance, and speed up development cycles. The event showcases real-world applications from both academia and industry, including programming language design and AI ethics.
More information and registration
Looking for partners to collaborate. Or looking for a certain expertise? Or would you like to locate your business in the Amsterdam Science Park? Drop us a line and we help you to find a perfect match.
Subscribe to our LinkedIn-newsletter and we will keep you updated on all that our park has to offer. It will arrive to your inbox five times a year and you can unsubscribe easily at any time.
Subscribe