Formal Methods Europe

Plans are now being laid to hold FM 2011 symposium at Lero in Limerick. Lero is Ireland’s Software Engineering Research Centre, comprising University of Limerick (UL) and the three Dublin universities: Dublin City University (DCU), Trinity College Dublin (TCD), and University College Dublin (UCD).  Lero is funded by Science Foundation Ireland under its CSET programme and led by its Directors, Professor Kevin Ryan and Professor Mike Hinchey. Lero’s research interests are focused on Evolving Critical Systems; that is, it addresses the design and implementation of high-quality critical systems which can change, or be changed, over time, without loss of quality or reliability. This clearly places great emphasis on the use of formal methods, both for assurances regarding critical behaviour, and for support of evolution and ease of change.

The symposium will be based around the theme Formal Methods Come of Age with the goal of highlighting and celebrating advances and maturity in formal methods research, education, and deployment via tool support and industrial best practice, and their role in a variety of industries, domains, and in certification and assurance.