andrei rodin Andrei Rodin's blog about History and Philosophy of Mathematics

(in the context of automated theorem proving and beyond)

One-day workshop organised as a part of regular seminar on History and Philosophy of Mathematics in laboratory SPHERE, University Paris-Cité, on February 23, 2026. Further details.

On Monday January 12 I present my recent book in the laboratory SPHERE, University Paris-Cité. There’ll be other book presentations during the same session, which begins at 9h30 CET and continues utilising 13h CET (my presentation will start about 11h-11h15) (program)(slides)(video)