Конференция прошла и хотя доклад пока еще не выложили отдельно, он доступен в общем стриме. Все что вы хотели (или не хотели) узнать про конечные автоматы с точки зрения прикладного программирования. Обязательно к просмотру: https://www.youtube.com/watch?v=Yi2E1DIqoow&t=20041s