[UAI] CFP: Firm deadline 31 March. IEEE Int. Conferences (CPSCom, GreenCom, iThings, SmartData) and Journal Special Issues, 21-23 June 2017, England, UK

[Please accept our apologies if you receive multiple copies of this email] *** IEEE CPSCom-2017, GreenCom-2017, iThings-2017, SmartData-2017 International Conferences *** To be held in Exeter, England, UK, 21-23 June 2017. *** The paper submission deadline is extended to 31 March 2017 (Fir

[UAI] SEFM 2017 Final CFP (*DEADLINE EXTENSION*) - 15th International Conference on Software Engineering and Formal Methods

** SEFM'17 *DEADLINE EXTENSION* NEW DATES: Abstract submission: 6 April 2017 Paper submission: 13 April 2017 ***

[UAI] [ECRTS-info] WATERS 2017: Call for Papers and Challenge Solutions - 8th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems

(Please accept our apologies if you receive multiple copies of this message.) *Call for papers and challenge solutions WATERS'17* *Submission deadline March 31st, 2017* = WATERS 2017 --