[Air-L] (no subject)

[ettore bolisani]

--- apologies for cross-postings ---

FIRST ANNOUNCEMENT AND CALL FOR PAPERS

1st International Workshop on
Formal Models for Knowledge Management
www.fmkm.org
Lero, Limerick, Ireland 
20th June 2011 

  
Satellite Event of the 17th International Symposium on Formal Methods (FM 2011) 20-24th June 2011 



This workshop is devoted to the definition and application of formal methods for modelling knowledge and KM processes in different cases and systems. Its goal is to contribute to a reflection on the state-of-the-art in this complex matter, of the issues involved, and the solutions proposed. 
Recommended topics include but are not limited to: 

  a.. KM epistemology and theoretical issues 

  b.. Conceptual analysis of knowledge transfer 

  c.. Applications of formal Modelling to KM research and practice 

  d.. Industrial and software applications of formal models for KM 

  e.. Quantitative and qualitative models of knowledge transfer 

  f.. Models of KM for software development 

  g.. Formal approaches to KM systems 

  h.. The issue of knowledge representation in KM 

  i.. Mathematical models of KM processes 

  j.. Economic interpretations of KM processes and knowledge exchanges 

  k.. Models of interorganisational KM transfer 

  l.. Computer simulation in KM research 

  m.. Ontologies and their use in KM Modelling 

IMPORTANT DATES:

Paper Submission: 10th April 2011

Notification: 16th May 2011

Final Version: 23rd May 2011

Workshop: 20th June 2011 





..............................
Ettore Bolisani, PhD
Associate Professor
DTG ­ Department of Management and Engineering
UNIVERSITY OF PADUA
Stradella San Nicola, 3 ­ 36100 VICENZA ­ ITALY
Phone (direct): +39.0444.998725 or +39.049.8277825
Fax: +39.049.998888 
Mobile: +39.334.6957510
MSN Messenger: boet at hotmail.it
Skype: ettbol
e-mail: ettore.bolisani at unipd.it
personal website: http://www.gest.unipd.it/labtesi/eb-homepage.htm