Monday  Dec 5 at 11:00 -Toni Huynh  (Sapienza University)

Title:  Strengthening Convex Relaxations of 0/1-Sets Using Boolean Formulas

Monday  Nov 21 at 11:00 - Luca San Mauro  (Sapienza University)

Title:  Learning families of algebraic structures

Monday  Nov 14  at 11:00 -  Giuseppe Perelli (Sapienza University)

Title:    From Synthesis to Rational Synthesis: a Logic-Based Approach for Multi-Agent Systems Verification