posted by user: gsilaghi || 1597 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

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
STARSEM 2020   THE NINTH JOINT CONFERENCE ON LEXICAL AND COMPUTATIONAL SEMANTICS
GandALF 2020   11th International Symposium on Games, Automata, Logics, and Formal Verification