Main Menu

ICSE 2013


For Teams Interested in Competing for the Formal Methods Special Recognition

Teams can compete for the special recognition granted by the Formal Methods Europe (FME) group for outstanding exploitation of formal methods regardless of the project they choose to develop. There is no preference nor constraint on the kind of formal method to be used by teams. Also, teams can choose whether to use formal methods throughout project development, or limit their use to specific development tasks or to some aspects of the application.

Within the SCORE 2013 Program Committee, Matteo G. Rossi acts as ambassador for the FME group, and as reference person for teams interested in competing for the Formal Methods special recognition. He is available to answer questions from teams regarding the application of formal methods in SCORE 2013 projects (e.g., whether a project lends itself to the use of formal methods, which parts of a project are most suitable for the application of formal methods, and so on).

Matteo can be reached at [To protect from spam-bots, the contact e-mail address is displayed here only when JavaScript is enabled in the browser.] .