FM-2014 is the 19th symposium in a series that began life as "VDM Europe" in 1987 and, in 1993, became "Formal Methods Europe". The nod to Europe in these names marked the initial funding support from the European Union but is now purely historical with "FME" being today an international organisation and the renowned FM symposia attracting papers from across the globe. For the Programme Committee (PC) chairs of the Singapore event, it has been a privilege to play a part in continuing the success of a series that has consistently focussed on applicable formal methods.
展开▼