Wednesday, September 10, 2025
Researchers in Applied Mathematics, Jun Liu and Maxwell Fitzsimmons, have received the Oded Maler Award, a distinction presented for the best paper at FORMATS 2025.
The Oded Maler Award is given for the top paper at the International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS). This year’s edition of the conference was held on August 25-30, 2025, in Aarhus, Denmark, jointly with QEST (International Conference on Quantitative Evaluation of SysTems) as a shared forum dedicated to quantitative modelling, analysis, and verification of systems.
Read the full story from Applied Mathematics to learn more.