Informal group for discussing work concerning Automating Mathematics in the broad sense, in particular efforts in India.