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  [PDF]

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 [PDF]

14:45 – 15:30  Quantum Mathematics, quantum symmetries and quantum information by Moritz Weber  [PDF]

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   [PDF]

16:45 – 17:30  Edge-colored graphs, exponential integrals, and Lee-Yang zeros by Maximilian Wiesmann  [PDF]

17:30 – …  Welcome reception

 

Thurs. 16 Oct.

09:00 – 10:00  Keynote: What is Solvable in Algebraic Program Analysis? by Laura Kovács.   [PDF]

10:00 – 10:30  Coffee break

10:30 – 11:15  Rigorous high-precision solution of Fuchsian ODEs and applications by Marc Mezzarobba [PDF]

11:15 – 12:00 Causality and independence in stationary diffusions by Tobias Boege   [PDF]

12:00 – 13:30  Lunch

13:30 – 14:15 Decidability of logical theories via rigidity and randomness in dynamical systems by Toghrul Karimov  [PDF]

14:15 – 15:00  Algebraic tools for scattering amplitudes by Andreas von Manteuffel   [PDF]

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   [PDF]

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    [PDF]

10:00 – 10:30  Coffee break

10:30 – 11:15 Differential elimination meets polyhedra by Yulia Mukhina   [PDF]

11:15 – 12:00 Algebraic First-Order Theorem Proving by Clemens Hofstadler   [PDF] 

12:00 – 13:30  Lunch

13:30 – 14:15 Automatic dynamics by Laurent Bartholdi   [PDF]

14:15 – 15:00 A Spotlight on Polynomial Optimization Problems in Dynamical System by Timo de Wolff   [PDF]

15:00 – …  Coffee + discussions + workshop close