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.