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  TBD by Philipp Hieronymi

12:15 – 14:00  Lunch

14:00 – 14:45  TBD by Matteo Parisi

14:45 – 15:30  TBD by Johannes Henn

15:30 – 16:00  Coffee break

16:00 – 16:45 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 Conditional independence in stationary diffusions by Tobias Boege

12:00 – 13:30  Lunch

13:30 – 14:15 Numeration systems for real numbersarising from integer linear recurrence sequences by Émilie Charlier

14:15 – 15:00  TBD 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  TBD 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  TBD by Moritz Weber

15:00 – 15:30  Coffee break

15:30 – 16:15  TBD by Timo de Wolff

16:15 – …    Discussions + workshop close