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

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

FacebookTwitterLinkedInGoogle

Link: http://bis.kie.ue.poznan.pl/15th_bis/wscfp.php?ws=fsfe2012
 
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

===========================================================================
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
2012)


Vilnius, Lithuania
May 21-23, 2012

http://bis.kie.ue.poznan.pl/15th_bis/wscfp.php?ws=fsfe2012

===========================================================================

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.


TOPICS OF INTEREST

* 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

SUBMISSION

* Long papers: max. 12 pages


Papers must be submitted in PDF format according to Springer LNBIP
template available from
http://www.springer.com/computer+science/lncs?SGWID=0-164-6-791344-0.

Submission system is available at
https://www.easychair.org/conferences/?conf=fsfe2012.

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
referees.

WORKSHOP FORMAT

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.

IMPORTANT DATES

* 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

ORGANIZERS

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


CHAIRS

* Gheorghe Cosmin Silaghi
* Robert Buchmann
* Razvan Petrusel

PROGRAM COMMITTEE

* Gheorghe Cosmin Silaghi, Babes™-Bolyai University of Cluj-Napoca,
Romania
* 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

FM 2024   Formal Methods
MLNLP 2024   5th International Conference on Machine Learning Techniques and NLP
ReacTS 2024   International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications
SEMANTiCS 2024   20th International Conference on Semantic Systems
NWCOM 2024   10th International Conference on Networks & Communications
LChange 2024   LChange 2024 : 5th International Workshop on Computational Approaches to Historical Language Change
IJP2P 2024   International Journal of Peer-to-Peer networks
ICEIS 2024   26th International Conference on Enterprise Information Systems
FDL 2024   Forum on specification and Design Languages
ICFEM 2024   International Conference on Formal Engineering Methods