Don't have Telegram yet? Try it now!
https://cstheory-events.org/2019/04/01/the-sat-smt-ar-summer-school/
The SAT/SMT/AR Summer School