[Om-announce] CFC_Artificial Intelligence and Internet of Things_new deadline_31st January 2019

** *Call for Book Chapters for the Springer-Verlag Handbook:*** *“Convergence of Artificial Intelligence and Internet of Things”*** *Series on Internet of Things - Technologies, Communications and Computing (covered by Scopus)* *//* */Editors/* *George Mastorakis, Technological

[Om-announce] CFP for COMPLEXIS 2019 position paper deadline Jan 24, 2019 (2-4 May 2019; Crete, Greece)

Dear colleagues, We are seeking position papers from the Fourth International Conference on Complexity, Future Information Systems and Risk (COMPLEXIS), to be held in Crete Greece, between 2-4 May,2019. Submission deadline is 24th January, 2019. We work with high quality journals, well-known

[Om-announce] VerifyThis at ETAPS 2019: 2nd Call for Problems

*** VerifyThis Verification Competition 2019 ACCOUNCEMENT AND CALL FOR PROBLEMS Competition to be held at ETAPS 2019 http://verifythis.ethz.ch