Formal Methods for Industrial Critical Systems (FMICS)

http://events.fortiss.org/fmics2011/

Gwen Salauen, Grenoble INP - INRIA Grenoble (Rhone-Alpes) - LIG, France
Bernhard Schaetz, fortiss GmbH, Germany

The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers that are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS workshop series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

5th International i* Workshop (iStar'11)

http://www.cin.ufpe.br/~istar11/

Jaelson Castro, Universidade Federal de Pernambuco, Brazil
Xavier Franch, Universitat Politècnica de Catalunya, Spain Eric Yu, University of Toronto, Canada

A growing number of groups around the world have been using the i* modeling framework in their research on early requirements engineering, business process design, organization modelling, software development methodologies, and more. Following successful workshops in Trento (2002), London (2005), Recife (2008), and Hammamet (2010), the iStar 2011 workshop will offer the opportunity to researchers working on i*, Tropos, and related frameworks, to exchange ideas, compare notes, and hopefully forge new collaboration with like-minded folk.