| 2026 | CPP | Computing Solutions for Systems of Multivariate Ordinary Differential Equations in Rocq. | Holger Thies |
| 2025 | CiE | Computable Analysis for Extraction of Certified Programs and Its Applications. | Holger Thies |
| 2024 | ITP | A Coq Formalization of Taylor Models and Power Series for Solving Ordinary Differential Equations. | Sewon Park, Holger Thies |
| 2023 | MFCS | Formalizing Hyperspaces for Extracting Efficient Exact Real Computation. | Michal Konecn, Sewon Park, Holger Thies |
| 2021 | CASC | Exact Real Computation of Solution Operators for Linear Analytic Systems of Partial Differential Equations. | Svetlana Selivanova, Florian Steinberg, Holger Thies, Martin Ziegler |
| 2021 | WoLLIC | Axiomatic Reals and Certified Efficient Exact Real Computation. | Michal Konecn, Sewon Park, Holger Thies |
| 2020 | MFCS | Continuous and Monotone Machines. | Michal Konecn, Florian Steinberg, Holger Thies |
| 2019 | ITP | Quantitative Continuity and Computable Analysis in Coq. | Florian Steinberg, Laurent Thry, Holger Thies |
| 2019 | TAMC | Second-Order Linear-Time Computability with Applications to Computable Analysis. | Akitoshi Kawamura, Florian Steinberg, Holger Thies |
| 2018 | MFCS | Average-Case Polynomial-Time Computability of Hamiltonian Dynamics. | Akitoshi Kawamura, Holger Thies, Martin Ziegler |
| 2018 | WoLLIC | Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving. | Akitoshi Kawamura, Florian Steinberg, Holger Thies |