Associated Files

WORKSHOPS

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. 

Submission Information

Proposals for workshops should contain:

• a title and brief (2-page max) description of the workshop topic and content;
• the desired workshop length (one or two days), and an estimate of the audience size;
• the names, postal addresses, phone numbers, and email addresses of the organizers, with one-paragraph statements of their research interests and areas of expertise;
• a budget.
• a list of potential members of the program committee, with an indication of which members have already agreed;
• a description of any shared tasks associated with the workshop;
• a description of special requirements for technical needs;

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"

Practical Arrangements

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 Proposals Submission: September 25, 2010
• FM2011 Workshop Proposals Notification: October 15, 2010
• FM2011 Workshops: June 20-21, 2011

FM2011 Workshop Chairs

Emil Vassev (emil.vassev@lero.ie), Lero, Ireland

David Sinclair (david.sinclair@lero.ie) Lero, Ireland