posted by user: gsilaghi || 1597 views || tracked by 3 users: [display]

FSFE 2012 : 1st Workshop on Formal Semantics for the Future Enterprise


When May 21, 2012 - May 23, 2012
Where Vilnius, Lithuania
Submission Deadline Mar 16, 2012
Notification Due Apr 22, 2012
Final Version Due May 5, 2012
Categories    business information systems   semantics

Call For Papers


1st Workshop on Formal Semantics for the Future Enterprise (FSFE 2012)

in conjunction with
15th International Conference on Business Information Systems (BIS

Vilnius, Lithuania
May 21-23, 2012


Deadline for submissions: March 16, 2012


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.(br /)
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.(br /)
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.


* Data-to-knowledge migration methodologies and legacy system
* Formal approaches for knowledge representation
* Formal methods for capturing enterprise semantics
* Computational semantics and natural language processing for business
* 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


* Long papers: max. 12 pages

Papers must be submitted in PDF format according to Springer LNBIP
template available from

Submission system is available at

Papers presented at FSFE 2012 will be published in BIS 2012 workshop
post-conference proceedings, as a volume in Springer's Lecture Notes in
Business Information Processing (LNBIP) series.
Each paper submitted to FSFE 2012 will be reviewed by at least three


All authors of accepted papers as well as other participants will be
asked to read accepted papers abstracts before the workshop (papers will
be available on-line in advance) to facilitate discussion.
At least one author of each paper needs to register the conference for
the paper to be included in proceedings.
Workshop registration entitles to participate in the conference, as
well as in all workshops and tutorials held in conjunction with it.


* March 16, 2012 - submission deadline for papers
* April 22, 2012 - notification of acceptance/rejection
* May 3, 2012 - submission of final papers
* May 21-23, 2012 - the workshop


* Babes™-Bolyai University of Cluj-Napoca, Romania, Faculty of Economics
and Business Administration, Business Information Systems Department


* Gheorghe Cosmin Silaghi
* Robert Buchmann
* Razvan Petrusel


* Gheorghe Cosmin Silaghi, Babes™-Bolyai University of Cluj-Napoca,
* Robert Buchmann, Babes™-Bolyai University of Cluj-Napoca, Romania
* Razvan Petrusel, Babes™-Bolyai University of Cluj-Napoca, Romania
* Alvaro E. Arenas, IE Business School Madrid, Spain
* Benjamin Aziz, University of Portsmouth, United
* Dongen van Boudewijn, Technical University of Eindhoven, The
* Marin Fotache, Alexandru Ioan Cuza University of Iasi, Romania
* Tomasz Kaczmarek, Poznan University of Economics, Poland
* Mihaela Muntean, West University of Timisoara, Romania
* Adrian Munteanu, Alexandru Ioan Cuza University of IasŸi, Romania
* Syed Naqvi, CETIC, Charleroi
* Ioan Petri, Cardiff University, UK
* Paul Pocatilu, Academy of Economic Studies, Bucharest
* Ioan Toma, University of Innsbruck, Austria
* Nicolae Tomai, BabesŸ Bolyai University of Cluj-Napoca, Romania
* Irene Vanderfeesten, Technical University of Eindhoven, The


Related Resources

EXPRESS/SOS 2020   Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
GridCom 2020   12th International Conference on Grid Computing
PSSV 2020   XI Workshop Program Semantics, Specification and Verification
E&C 2020   4th International Conference on Electrical & Computer Engineering
SBLP 2020   24th Brazilian Symposium on Programming Languages
WIMS 2020   10th International Conference on Web Intelligence, Mining and Semantics
ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)
FM 2021   Formal Methods 2021
GandALF 2020   11th International Symposium on Games, Automata, Logics, and Formal Verification