Formal methods in the Netherlands

This website serves as a landing page collecting various events, seminars, lectures and research activities on formal methods in the Netherlands.

Regular events and seminars

• Informal formalization seminar

  The Informal Formalization Seminar is a quasi-regular seminar on formalization of mathematics and adjacent subjects. It is organized by Sander Dahmen (VU) and Johan Commelin (UU).

• Logic and formalization seminar at Utrecht

  The logic and formalization seminar is a weekly seminar on topics from logic and formalization run by the logic and formalisation group led by Johan Commelin (UU).

• Loki

  Weekly Lean meetup at Utrecht University. Open to everyone, no Lean knowledge required!

Lectures and summer schools

• Utrecht Summerschool on Formalizing Mathematics in Lean

  Date: July 21 to July 25, 2025
  Description: Summerschool for students of mathematics interested in formal methods.

• Formal Methods in Mathematics 2025

  Date: Summer term 2025
  Description: Course for Master students in mathematics in the Mastermath program

If you want to add something to this list, please make a pull request to the repository of this website.