SEFM 2013

11th International Conference on
Software Engineering and Formal Methods

September 25-27, 2013, Madrid, Spain


Collocated workshops

The proceedings of the workshops have been published in the Lecture Notes in Computer Science series and are available online.

WS-FMDS 2013 (Programme)
The aim of WS-FMDS is to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. This workshop also strives to promote research and development for the improvement of theoretical aspects of formal methods and tools focused on practical usability for industrial applications
BEAT 2 (Programme)

2nd International Workshop on Behavioural Types. Behavioural type theory is being used as the basis for new foundations, programming languages, and software development methods for communication-intensive distributed systems. Behavioural type theory encompasses concepts such as interfaces, communication protocols, session types, contracts, and choreography. As a unifying structural principle it has the potential to transform the theory and practice of distributed software development.

This workshop forms part of the activity of COST Action IC1201. It is an open workshop, not limited to participants in the COST Action. Its aim is to bring together researchers in all aspects of behavioural type theory and its applications, as well as software developers and end-users of large-scale distributed systems.

FMICS 2013 (Programme)
The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers that are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS workshop series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
FM-RAIL-BOK WORKSHOP 2013. (Programme)
The 2013 Workshop on a Formal Methods Body of Knowledge for Railway Control and Safety Systems. Formal methods in software science and software engineering have existed at least as long as the term software engineering (NATO Science Conference, Garmisch, 1968) itself. In many engineering-based application areas, such as in the railway domain, formal methods have reached a level of maturity that already enables the compilation of a so-called body of knowledge (abbreviated as BOK). The purpose of the Workshop is to bring together practitioners and researchers in this area and to that end.
MoKMaSD 2013 (Programme)
The aim of the Symposium is to bring together researchers and practitioner from academia, industry, government and non-government organisations to present research results and exchange experience, ideas, and solutions for modelling and analysing complex systems and using knowledge management strategies, technology and systems in various domain areas, including economy, governance, health, biology, ecology, climate and poverty reduction, that address problems of sustainable development. Synergistic approaches that integrates modelling with knowledge management and illustrate realistic applications to sustainable development using techniques such as simulation, visualisation, animation, nonlinear systems analysis, model-checking and inferential statistics are especially welcome.
OpenCert 2013 (Programme)

State-of-the-art OSS, by the very nature of its open, unconventional, distributed development model, makes software quality assessment particularly hard to achieve and raises important challenges both from the technical/methodological and the managerial points of view. In addition, the multifaceted aspects of the OSS communities require an expansion of the typical certification process, that would take into account, not only technical, but also social, psychological, and educational aspects at individual and community level.

In such a context, the aim of this workshop is to bring together researchers from Academia and Industry who are broadly interested in (a) the quality assessment of OSS projects, and (b) metrics, procedures, and tools that could be useful in assessing and qualifying individual participation and collaboration patterns in OSS communities.