Talks at SYNASC 2021

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 other is a Tutorial on Orikoto programming.  The tutorial slide is here.  The additional 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.