Stephan Merz — events
Some events I am currently affiliated with:
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
2011 Refinement Workshop
(Limerick, Ireland, June 20, 2011), affiliated with
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
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.
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.