Dagstuhl Seminar on "Formal Synthesis of Cyber-Physical Systems"!
24.03.2017
Our Dagstuhl seminar, entitled "Formal Synthesis of Cyber-Physical Systems", will take place from May 14 till 19, 2017, in Dagstuhl, Germany. The detailed program will be posted later here.