Stream shameless (but AR related) advertisements

• stream events
• CAV (Computer Aided Verification) 2021 artifact evaluator?
• CADE-28: Call for Tutorials
• CADE-28: call for papers
• SAT 2021: call for papers
• CADE-28 Call for Papers, Workshops, Tutorials, and Competiti