Talks at SYNASC 2021

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.