When: Thursday, April 23, 2020, 3pm.

Where: Google Meet, check the address in the Google Calendar Event.

Topic: Introduction to Rational Series, Weighted Automata, Weighted Monadic Second Order Logic on Finite Traces.

Speaker: Alessandro Ronca

Abstract

Introduction to Rational Series, Weighted Automata, Weighted Monadic Second Order Logic on Finite Traces.

Material