Don't have Telegram yet? Try it now!
https://cstheory-events.org/2017/09/20/the-2nd-winter-school-in-engineering-and-computer-science-on-formal-verification/
The 2nd Winter School in Engineering and Computer Science on Formal Verification