Calin is co-organizing a Dagstuhl Seminar on Formal Synthesis
May 14 – 19 , 2017, Dagstuhl Seminar 17201
Formal Synthesis of Cyber-Physical Systems
Organizers
Calin A. Belta (Boston University – Brookline, US)
Rupak Majumdar (MPI-SWS – Kaiserslautern, DE)
Majid Zamani (TU München, DE)
Coordinators
Matthias Rungger (TU München, DE)