2016

The 8th NASA Formal Methods Symposium (NFM 2016)

McNamara Alumni Center | University of Minnesota | 200 Oak Street S.E., Minneapolis, MN 55455

Theme of the Symposium

The Third International Conference on Data Mining, Internet Computing, and Big Data (BigData2016)

You are invited to participate in The Third International Conference on Data Mining, Internet Computing, and Big Data (BigData2016) that will be held in Mevlana University, Konya, Turkey on July 21 - 23, 2016, which aims to enable researchers build connections between different digital applications.

First International Workshop on Science of Smart City Operations and Platforms Engineering (SCOPE) in partnership with Global City Teams Challenge (GCTC)

Traditionally, cyber-physical systems (CPS) have been built using domain-specific closed architectures with self-contained resources. This traditional approach is inadequate for smart city solutions, which are inherently multi-domain and require crossing conventional organizational and infrastructure boundaries.

36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2016)

Part of the DisCoTec 2016 event

FORTE 2016 is a forum for fundamental research on theory, models, tools, and applications for distributed systems. The conference solicits original contributions that advance the science and technologies for distributed systems, with special interest in the areas of: