[Air-L] (no subject)

ettore bolisani ettore.bolisani at unipd.it
Thu Dec 2 00:21:18 PST 2010

--- apologies for cross-postings ---


1st International Workshop on
Formal Models for Knowledge Management
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 


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

More information about the Air-L mailing list