[Om-announce] Special Issue CFP [Deadline Extended]: Computers & Electrical Engineering Journal - Advanced Techniques and Emerging Trends in Cyber-Social Computing - Deadline Dec. 31, 2018

[Apologies for multiple postings] https://www.journals.elsevier.com/computers-and-electrical-engineering/call-for-papers/techniques-and-emerging-trends-in-cyber-social-comp === Computers &

[Om-announce] CfP Reliability, safety and security of railway systems (RSSRail 2019)

International conference on reliability, safety and security of railway systems: modelling, analysis, verification and certification - RSSRail 2019 June 4-6, 2019, Lille, France https://conferences.ncl.ac.uk/rssrail2019/ Call for Papers The railway industry faces increasing pressure to improve

[Om-announce] [ISSAC-ANNOUNCE] ISSAC 2019: Second Call for Papers

-- ISSAC 2019 International Symposium on Symbolic and Algebraic Computation July 15-18 2019 Beihang University, Beijing, China SECOND

[Om-announce] Call for Papers: JLAMP Special Issue on Relational and Algebraic Methods in Computer Science

OPEN CALL FOR PAPERS FOR JOURNAL SPECIAL ISSUE Relational and Algebraic Methods in Computer Science Special Issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP)

[Om-announce] Second call for papers: Seventh International Workshop on Verification and Program Transformation, April 2nd 2019, Genova, Italy

SECOND CALL FOR PAPERS Seventh International Workshop on Verification and Program Transformation April 2nd 2019, Genova, Italy http://refal.botik.ru/vpt/vpt2019 Co-Located with the 3rd International Conference on the

[Om-announce] Call for Papers: CD-MAKE 2019

"Augmenting Human Intelligence with Artificial Intelligence" Call for Papers - CD-MAKE 2019 3rd International IFIP Cross Domain Conference for Machine Learning & Knowledge Extraction CD-MAKE is a joint effort of IFIP TC 5, TC 12, IFIP WG 8.4, WG 8.9 and WG 12.9 and is held in conjunction with