--- 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@hotmail.it Skype: ettbol e-mail: ettore.bolisani@unipd.it personal website: http://www.gest.unipd.it/labtesi/eb-homepage.htm