These are the slides Pesho Ivanov and I presented at IGGSY 2022 on Astarix and A*PA. Drive: here Pdf: here