[Comp-neuro] DeepMath 2019 Call for Contributions