Samose Seminar Series: Automating Mathematics Friday, 7 April, 4pm (Refreshments at 3:45pm) Simons Center-GF, NCBS Speaker: Siddhartha Gadgil, IISc Math Abstract: I will discuss various stuff related to the goal of having computers play a central role in the discovery of mathematical proofs, including some of my own efforts.