Wed. 15 Oct.
09:00 – 10:00 Registration + welcome coffee
10:00 – 11:00 Keynote: Mechanising the theory of periods: Algorithms for univariate period integrals by Emre Sertöz
11:00 – 11:30 Coffee break
11:30 – 12:15 Dynamical systems – questions logicians ask by Philipp Hieronymi
12:15 – 14:00 Lunch
14:00 – 14:45 Scattering Amplitudes, Amplituhedra and Cluster Algebras by Matteo Parisi
14:45 – 15:30 Quantum Mathematics, quantum symmetries and quantum information by Moritz Weber
15:30 – 16:00 Coffee break
16:00 – 16:45 Playing with 4×4 matrices – or – K3 surfaces with a fixed point free automorphism of positive entropy by Ronald van Luijk
16:45 – 17:30 Edge-colored graphs, exponential integrals, and Lee-Yang zeros by Maximilian Wiesmann
17:30 – … Welcome reception
Thurs. 16 Oct.
09:00 – 10:00 Keynote: What is Solvable in Algebraic Program Analysis? by Laura Kovács
10:00 – 10:30 Coffee break
10:30 – 11:15 Rigorous high-precision solution of Fuchsian ODEs and applications by Marc Mezzarobba
11:15 – 12:00 Causality and independence in stationary diffusions by Tobias Boege
12:00 – 13:30 Lunch
13:30 – 14:15 Decidability of logical theories via rigidity and randomness in dynamical systems by Toghrul Karimov
14:15 – 15:00 Algebraic tools for scattering amplitudes by Andreas von Manteuffel
15:00 – 15:30 Coffee break
15:30 – 16:15 Hilbert’s Tenth Problem for systems of diagonal quadratic forms, and Buchi’s problem by Stanley Yao Xiao
16:15 – … Breakout groups / personal interactions
19:00 – … Workshop dinner at L’Osteria
Fri. 17 Oct.
09:00 – 10:00 Keynote: How much of quantum physics can we predict? by Hadleigh Frost
10:00 – 10:30 Coffee break
10:30 – 11:15 Differential elimination meets polyhedra by Yulia Mukhina
11:15 – 12:00 Algebraic First-Order Theorem Proving by Clemens Hofstadler
12:00 – 13:30 Lunch
13:30 – 14:15 Automatic dynamics by Laurent Bartholdi
14:15 – 15:00 A Spotlight on Polynomial Optimization Problems in Dynamical System by Timo de Wolff
15:00 – … Coffee + discussions + workshop close