Stephan Merz — events

2011 Grande Region Security and Reliability Day (Trier, Germany, March 25, 2011)

Regional workshop on security and reliability. Jointly organized by University of Luxembourg, Saarland University, University of Trier, and INRIA Nancy.

2011 Refinement Workshop (Limerick, Ireland, June 20, 2011), affiliated with FM 2011

Refinement is one of the cornerstones of a formal approach to software engineering: the process of developing a more detailed design or implementation from an abstract specification through a sequence of mathematically-based steps that maintain correctness with respect to the original specification. The aim of this Refinement Workshop, is to bring together people 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.

1st Workshop on Automated Theory Engineering (Wroclaw, Poland, July 31, 2011), affiliated with CADE 2011

Theory engineering means the development and mechanisation of mathematical axioms, definitions, theorems and inference procedures as needed to cover the essential concepts and analysis tasks of an application domain. It is essential for the qualitative and quantitative modelling and analysis of computing systems. The aim of the workshop is to present users with lightweight domain specific modelling languages, and to devolve the technical intricacies of analysis tasks as far as possible to tools that provide heavyweight automation.

11th Intl. Workshop on Automated Verification of Critical Systems (AVoCS 2011), Newcastle-upon-Tyne, UK, September 12-15, 2011

The aim of AVoCS 2011 is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. The subject is to be interpreted broadly and inclusively. It covers all aspects of automated verification, including model checking, theorem proving, SAT/SMT/constraint solving, abstract interpretation, and refinement pertaining to various types of critical systems which need to meet stringent dependability requirements.

15th Brazilian Symp. on Formal Methods (SBMF 2011) (Sao Paolo, Brazil, September 26-30, 2011)

SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area.

13th Intl. Conf. Formal Engineering Methods (ICFEM 2011) (Durham, UK, October 25-28, 2011)

ICFEM provides a forum for those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, and to help advance the state of the art. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical, tangible benefit.

9th Intl. Conf. Software Engineering and Formal Methods (SEFM 2011) (Montevideo, Uruguay, November 14-18, 2011)

The aim of the conference is to bring together researchers and practitioners from academia, industry and government to advance the state of the art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods.