Featured articles
4TU+.AMI Community Event 2026
Join us for our annual Community Event on Friday 29 June in Groningen. Get to know your new 4TU+.AMI colleagues, catch up with old ones, explore common research or teaching interests, and receive updates on current 4TU+.AMI funded projects.
Interview with Jim Portegies about NRO Scale-up and 4TU+.AMI grants for 'Waterproof'
According to many mathematicians a major shift is taking place in the mathematics research landscape. Mathematicians and big tech companies are working intensively to formalize (i.e. translate to a format that can be read by a computer) mathematical proofs and verify their correctness using so-called proof assistants. Long research articles, which typically take months to review, could be verified in a day by using such new tools. This opens new paths in mathematics research.
Winner MATH+ Advent Calendar 2025
Each year, thousands of people compete in the MATH+ Advent Calendar, a digital mathematics competition consisting of 24 challenging mathematics puzzles, organised in December by the Berlin Mathematics Research Center MATH+ in collaboration with 4TU+.AMI.
Funding
To promote and strengthen mathematics in the Netherlands, 4TU+.AMI offers funding for events and projects in the field of applied mathematics.
News
30 Apr 2026
Interview with Jim Portegies about NRO Scale-up and 4TU+.AMI grants for 'Waterproof'
According to many mathematicians a major shift is taking place in the mathematics research landscape. Mathematicians and big tech companies are working intensively to formalize (i.e. translate to a format that can be read by a computer) mathematical proofs and verify their correctness using so-called proof assistants. Long research articles, which typically take months to review, could be verifie…
29 Apr 2026
Mathematics and the newest stained-glass window De Staat in Paradiso
Mathematicians Pim van der Hoorn and Mike van Santvoort (Eindhoven University of Technology) have collaborated with two artists to create a new stained-glass window for Paradiso -a music venue and cultural centre in Amsterdam- as part of the long-term art project "De Moderne Moraal".
16 Apr 2026
Two 4TU+.AMI sessions at the BeNeLux Mathematical Congress
4TU+.AMI organised two sessions during the recent BeNeLux Mathematical Congress: one on 'Evidence-Based Practices in Teaching Mathematics' and one on 'Sequential Decision Making'.
16 Apr 2026
Winner MATH+ Advent Calendar 2025
Each year, thousands of people compete in the MATH+ Advent Calendar, a digital mathematics competition consisting of 24 challenging mathematics puzzles, organised in December by the Berlin Mathematics Research Center MATH+ in collaboration with 4TU+.AMI.