|Communicating Process Architectures (CPA 2011)||June 19-22, 2011|
|SEW’34 the 34th IEEE Software Engineering Workshop||June 20-21, 2011|
|Refinement 2011||June 20, 2011|
|Overture/VDM Workshop 2011||June 20, 2011|
|UML&FM’2011||June 20, 2011|
|Formal Methods for Interactive Systems (FMIS2011)||June 21, 2011|
|B 2011||June 21, 2011|
|Workshop on Formal Methods and Cryptography (CryptoForma 2011)||June 21, 2011|
Invitation for Submissions
The organizing committee of FM2011 cordially invites proposals for one or two day workshops in the wide area of formal methods. The FM2011 Symposium will be based around the theme ‘Formal Methods Come of Age’. It will have the goal of highlighting and celebrating advances and maturity in formal methods research, education, and deployment via tool support and industrial best practice, and their role in a variety of industries, domains, and in certification and assurance. FM2011 particularly welcomes workshop proposals on new or emerging fields of application of formal methods and on experience with practical application domains of formal methods, experimental validation of tools and methods as well as construction and evolution of formal methods tools.
Proposals for workshops should contain:
There will be a single workshop committee, coordinated by the FM2011 workshop chairs. This single committee will review the quality of the workshop proposals and come up with the list of best proposals. Note that FM2011 aims for workshops with 12–24 participants, and will set a uniform minimum number of 10 required registrations. Accepted workshops that fail to meet this number may be cancelled.
Please submit proposals be email no later than September 25, 2010, to one of the chairs Emil Vassev or David Sinclair with the subject line: "FM2011 Workshop Proposal"
Notification of acceptance of workshop proposals will occur no later than October 15, 2010. All the accepted workshops should take place on June 20-21, 2011. Important deadlines are given below.
FM2011 Workshop Chairs
Emil Vassev (email@example.com), Lero, Ireland
David Sinclair (firstname.lastname@example.org) Lero, Ireland