[Haskell-cafe] VerifyThis 2018: Call for Participation and Travel Grants