15th International Symposium on Formal Methods, Turku, Finnland

Abbrevation

FME

Link

http://www.fmeurope.org/

City

Turku

Country

Finland

Deadline Paper

2008-01-14

Start Date

2008-05-26

End Date

2008-05-30

Abstract

Formal Methods Europe invites proposals from organisations interested in hosting the 15th International Symposium on Formal Methods (FM’08), to be held in Europe in Spring 2008. Keywords: Tools for formal methods: tool support and software engineering, environments for formal methods. Theoretical foundations: specification and modelling, refinement, static analysis, model–checking, verification, calculation, reusable domain theories. Formal methods in practice: experience with introducing formal methods in industry, case studies. Role of formal methods: formal methods in hardware and system design, method integration, development process.