About the Joint Event

From Wednesday 16 until Friday 18 December 2009, a three-day event on Software modelling, verification and evolution will be organised at the Université catholique de Louvain, Belgium.

This event will colocate three events that were previously organised independently:

• The Annual meeting of the FNRS contact group on Fundamental Computer Science.
• The Annual Meeting of the Belgian inter-university MoVES research project on Modelling, Verification and Evolution of Software.
• The 8th edition BElgian-NEtherlands software eVOLution seminar (BENEVOL 2009).

The aim of this joint seminar is to bring together researchers to identify and discuss important principles, problems, techniques and results related to software verification, modelling and evolution research and practice.

This three-day event will bring together researchers from Belgium and neighbouring countries whose research focuses on the development, integration and extension of state-of-the-art languages, formalisms and techniques for modelling, verifying and evolving software-intensive systems. The use of rigourous models and analysis methods is essential to make sure that the software satisfies its requirements and exhibits the desired properties. At the same time, in order to accomodate the constantly changing requirements and technology, these systems must be able to evolve over time, without breaking their essential properties.

Based on the schedule of the different events of which this joint seminar is composed, participants can either decide to participate only to those events he or she is most interested in, or to all of the events. Below you can find the overall schedule of the three-day joint event on software modelling, verification and evolution. For more details on the agenda of the different colocated events, we refer to the main pages dedicated to each of these events. (Or click on the dates in the table below to jump to the detailed schedule of that day.)

The seminar will be organised under the auspices of three ongoing Belgian research projects with related themes

• The FNRS/FRFC project “Research Center on Software Adaptability”
• MoVES, an IAP project on “Modelling, Verification and Evolution of Software.”
• VariBru, a regional project on “Variability in Software-Intensive Product Development”

and is supported by the following organising and sponsoring universities:

• Université catholique de Louvain
• Université de Mons
• Facultés Universitaires Notre-Dame de la Paix
• Université Libre de Bruxelles