FSFE 2015 - 3rd Workshop on Formal Semantics for the Future Enterprise (FSFE 2015)

The main goal of this 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. service and process descriptions) and at run-time (e.g. process execution, service discovery).
Current trends in manufacturing, supply chain management and product servitization systems indicate new emerging paradigms such as Factories of the Future, Virtual Enterprises, Smart Factories etc. The workshop aims to narrow down 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 capturing and processing their semantic aspects. Disciplines such as Enterprise Modelling, 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 advanced formal approaches on enterprise-related semantics and enterprise virtualization. The workshop aims to attract contributions employing interdisciplinarity across fields such as Knowledge Management and Knowledge Engineering, aiming to bridge their inherent gaps in granularity and addressability. The proposed topics consider application scenarios for virtual enterprises and factories of the future and are an acknowledgment of the fact that the non-ambiguous representation of semantics can be tackled with a wide array of approaches (e.g. conceptual modeling, natural language, logics) and supported with heterogeneous technologies (e.g. ontologies, modeling tools, semantic lifting tools).
Topics of interest
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
Data semantization and semantic lifting methodologies
Formal methods for enterprise modeling
Context-aware enterprise information systems
Ontology engineering for Factories of the Future
Computational semantics and natural language processing for business documents
Semantic support for collaborative business networks
Semantics of cyberphysical systems in Factories of the Future
Reasoning and automated decision making in virtual enterprises
Data linking and federation in collaborative networks
Security and access control semantics for virtual enterprises