Dear colleagues,
We are excited to announce our upcoming workshop on “Data-Driven Control of Autonomous Systems with Provable Guarantees”, which will be held during CDC25 in Rio de Janeiro, Brazil, on December 9th. This workshop boasts a lineup of eight distinguished speakers and is primarily encouraged by the latest advancements towards new frontiers at the intersection of formal methods and data-driven techniques.
Here is the link to the workshop providing detailed information and the workshop plan: https://lavaei-cps.com/workshop-CDC2025.html
Registration information is available here, with an early registration deadline for this workshop set for September 3rd, 2025.
Best,
Workshop Organizers
Abolfazl Lavaei, Newcastle University, UK
Amy Nejati, Newcastle University, UK
Kostas Margellos, University of Oxford, UK
Antonis Papachristodoulou, University of Oxford, UK
