[Hol-info] [CfP] ASYDE workshop @SEFM'19 - Springer Special Issue and Keynote ready

2019-05-25 Thread alexander . perucci
[Apologies for multiple postings] ** Reminder: the ASYDE @SEFM'19 submission deadline is June 10th, 2019 ** Keynote by Marjan Sirjani @ASYDE 2019, Mälardalen University ** Special Issue on Automated and Verifiable Internet Services and Applications Development - Springer Journal of Internet

[Hol-info] Call for Participation - CPS Summer School 2019

2019-05-25 Thread Luca Pulina
[apologies if you receive multiple copies of this message] -- CPS Summer School 2019 Designing Cyber-Physical Systems – From concepts to implementation Porto Conte Ricerche - Alghero - Sardinia - Italy September

[Hol-info] Call for Papers - 2nd PhD Workshop on Cyber-Physical Systems

2019-05-25 Thread Luca Pulina
[apologies if you receive multiple copies of this message] -- 2nd PhD Workshop on Cyber-Physical Systems Porto Conte Ricerche - Alghero - Sardinia - Italy September 23, 2019 http://www.cpsschool.eu/cps-workshop/

[Hol-info] Call For Papers: Workshop in OCL and Textual Modeling (OCL 2019)

2019-05-25 Thread Achim D. Brucker
CALL FOR PAPERS 19th International Workshop on OCL and Textual Modeling Co-located with MODELS 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and System, September 15-20,