Dear colleagues,
We are excited to announce our upcoming workshop on “From Formal Methods to Data-Driven Verification and Control ", which will be held during CDC24 in Milan on December 15th. 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.de/workshop-CDC2024.html
The deadline for early bird registration is October 1st, 2024, accessible via this link: https://cdc2024.ieeecss.org/registration
