Re: [Issac19pc] ISSAC 2019 paper bidding starts