[Issac19pc] Fwd: ISSAC 2019: Second Call for Papers