This page provides a short description of the events of Formal Methods Week, and links to further information.
CPA 2009 Two-and-a-half-day symposium on Communicating Process Architectures, organized by WoTUG, a forum set up to support those applying the CSP, pi-calculus and other formal models of concurrency. The conference addresses both theory and practice, applications and support tools,languages, libraries and kernels, verification and validation, hardware, software and co-design, and all levels of granularity. CPA aims to stimulate ideas and discussions relevant to the simple, safe and scaleable engineering of concurrent systems.
FACS 2009 Two-day international workshop on Formal Aspects of Component Software which aims to bring together researchers in the areas of component software and formal methods to promote a deep understanding of the component-based software paradigm and its applications. Contributions include foundational models for components, components interaction and composition,rigorous approaches to verification, deployment, testing and certification of component software, and applications of the paradigm to safety-critical, mobile, and embedded systems.
Two-day workshop on Formal Aspects of Security and Trust under the auspices of IFIP WG 1.7.
FAST focuses on formal models of security and trust, which are needed
to state goals and policies for the interactions between loosely structured communities of individuals, made possible by the increasingly pervasive computing and network infrastructures. It also seeks new and innovative techniques for establishing consequences of these formal models, and welcomes implementation approaches for such techniques.
FM 2009 Three-day international symposium on Formal Methods of Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The FM-symposia have been notably successful in bringing together innovators and practitioners in precise mathematical methods for software development, industrial users as well as researchers.
FM 2009 Industry Day
One day meeting on industrial success of Formal Methods
featuring a number of combined talks of Formal
Method providers and of its users. Organized in cooperation with the Formal
Techniques Industrial Association ForTIA.
FMCO 2009: a three-day international symposium on Formal Methods for Components and Objects. FMCO is realized as a concertation meeting of European funded projects. The objective is to bring together researchers and practioners in the areas of software engineering to discuss the use of formal methods in component-based and object-oriented software systems.
The 2009 Refine Workshop
One-day international workshop on Refinement, organized by the BCS FACS special interest group on refinement. It aims to bring people together who are interested in the development of more concrete designs or executable programs from abstract specifications using formal notations, tool support for formal software development, and practical experience with formal refinement methodologies.
TESTCOM/FATES 2009 The 21th IFIP International Conference on Testing of Communicating Systems (TESTCOM) and the 9th International Workshop on Formal Approaches to Testing of Software (FATES) will take place as TESTCOM/FATES 2009 in Eindhoven. TESTCOM/FATES aims at being a forum for researchers, developers, testers, vendors, and users to review, discuss, and learn about new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software.
Dutch Testing Day 2009 (de Nederlandse Testdag): a one-day national symposium on software and systems testing, with participants from industry and academia, that serves as a forum for sharing practical experiences and research results.
TFM 2009 2nd International FME conference on Teaching Formal Methods. This conference aims to serve as a forum for exploring the successes and failures of Formal Methods (FM) education, and for promoting cooperative projects to further education and training in FMs. It provides lecturers, teachers, and industrial partners with an opportunity to discuss their experience, present their pedagogical methodologies, and exchange best practices.