Calin is co-organizing a Dagstuhl Seminar on Formal Synthesis

in Uncategorized
May 8th, 2017

http://www.dagstuhl.de/17201

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)