When: Thursday, May 28, 2020, 3pm.
Where: Google Meet, check the address in the Google Calendar Event.
Topic: Introduction to Molecule Synthesis through Reinforcement Learning.
Speaker: Alessio Ragno and Dylan Savoia
Introduction to Molecule Synthesis through Reinforcement Learning.
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
Introduction to Rational Series, Weighted Automata, Weighted Monadic Second Order Logic on Finite Traces.
When: Thursday, April 16, 2020, 3pm.
Where: Google Meet, check the address in the Google Calendar Event.
Topic: Introduction to Game Theory and Formal Methods.
Speaker: Giuseppe Perelli
Introduction to Game Theory and Formal Methods.