ICOPS 2022 Minicourse