09:00
10:00
11:00
12:00
13:00
14:00
15:00
9:00 - 10:00 (1h)
On Some Ideas Used in Arithmetic
D8 001
Miloš Ercegovac
https://raim2025.sciencesconf.org/data/program/slides_milos_ercegovac.pdf 10:00 - 10:30 (30min)
Coffee break
D8 004
10:30 - 11:30 (1h)
Surprise interventions
D8 001
11:30 - 12:30 (1h)
This is not a talk - a story of tables and chairs
D8 001
Jean-Michel Muller
12:30 - 15:00 (2h30)
Lunch
D8 004
