22.3.2023 | 10:00–11:00 CS Special Seminar: Priyanka Golia “Fusing AI and Formal Methods for Automated Synthesis”