James Dyson Building Seminar Room, Department of Engineering and online (zoom): https://newnham.zoom.us/j/92544958528?pwd=YS9PcGRnbXBOcStBdStNb3E0SHN1UT09 2023-12-01 14:00: Sound Control Synthesis with Logics and Data (Professor Alessandro Abate, Department of Computer Science, University of Oxford)