Symposium

I’m co-organizing a public symposium Mathematics in the age of automated proofs, on Friday September 19 in Leiden. Speakers inlcude Thomas Hubert (DeepMind), Stephanie Dick (Simon Fraser U), Akshay Venkatesh (IAS). Everyone is welcome, but registration is compulsory.