I had an opportunity to give two talks on Eos. One is an invited talk containing our research progress and a few new results at the SYNASC 2021, December 7, 2021.
The slide is here.
The tutorial was on December 9, 2021. I used a new version of Eos (Eos3.30). Eos3.5 is not released yet but will be in a few days.