FSFE 2016 - 4th Workshop on Formal Semantics for the Future Enterprise (FSFE 2016)

The goal of the workshop is to bring together researchers to share knowledge and experiences on formal aspects of the Future Enterprise, particularly pertaining to knowledge representation and how it can be employed to manage various facets of the enterprise, both at design-time (e.g., descriptions of services, processes, business context) and at run-time (e.g., process execution, service discovery).
Current trends in manufacturing, supply chain management and product servitization systems are stimulated by emerging paradigms such as Factories of the Future, Virtual Enterprises, Smart Factories etc. The workshop aims to narrow down and crystallize the characteristics of such relatively informal notions, to consolidate them under the umbrella term of Future Enterprise and to highlight their requirements with respect to semantic information systems. Disciplines such as Enterprise Modeling, Ontology Engineering, Semantic Web Services or Linked Enterprise Data are expected to converge under the topics proposed by the workshop.
We invite papers which raise research questions and provide semantic approaches on challenges pertaining to next-generation enterprise information systems and enterprise virtualization. The workshop aims to attract interdisciplinary contributions that are rooted in areas such as Knowledge Management and Knowledge Engineering, while providing value and advancement opportunities for future enterprises. The proposed array of topics is an acknowledgment of the fact that non-ambiguous representation and processing of semantics can be tackled with a wide range of approaches (e.g. conceptual modeling, natural language, logics, knowledge discovery) and supported by heterogeneous technologies (e.g. ontologies, modeling languages, semantic lifting tools, information retrieval algorithms).
Topics of interest
Semantic support for collaborative business networks
Cloud management and semantics for product-service systems
Knowledge acquisition in virtual enterprises
Modeling and simulation of manufacturing processes for Factories of the Future
Description logics for decision support in virtual enterprises
Description, discovery and composition of Semantic Web Services
Description and execution of Semantic Business Processes
Methodologies and technologies for the semantic lifting of legacy enterprise systems
Formal methods for enterprise modeling
Context-awareness in Enterprise Information Systems
Computational semantics and natural language processing for business documents
Reasoning for automated decision making in virtual enterprises
Data linking and ontology management in collaborative business networks
Semantics of cyberphysical systems in Factories of the Future
Security and access control semantics for virtual enterprise resources