I had an opportunity to give two talks on Eos. One is an invited talk containing our research progresses and a few new results at the SYNASC 2021, December 7, 2021.
The slide is here.
The other is a Tutorial on Orikoto programming. The tutorial material is here.
The tutorial is 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.