FSFE 2013 - 2nd Workshop on Formal Semantics for the Future Enterprise (FSFE 2013)

The main goal of this workshop is to bring together researchers to share their research knowledge and experience over the formal aspects of the future enterprise.
Most of the current companies go through a lot of changes. The workshop seeks to create, promote and spread the formal fundaments that will enable the transition to those future enterprises.
We invite papers which provide advanced formal approaches over the enterprise-related semantics and enterprise virtualization. The workshop themes cover main issues regarding the transition towards the future enterprise. An important aspect covers the transition from data to knowledge as well as the issues related to representing and storing the knowledge of the enterprise (e.g. semantics, ontologies). Another important aspect is collaboration, with a focus on the formal aspects of communication technology (e.g. cloud computing) and security. The third aspect the workshop focuses on, is the formal approach over business processes and decision making automation.
Topics
Data-to-knowledge migration methodologies and legacy system semantization
Formal approaches for knowledge representation
Formal methods for capturing enterprise semantics
Computational semantics and natural language processing for business documents
Ontology shifting and evolution for the future enterprises
Semantically-driven platforms for networking and collaboration
Automated decision making in the Future Enterprise
Formal semantics for business and decision making processes
Security models for the future enterprise