The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4 7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is just outside the ancient town of Canterbury, part of the county of Kent. Kent is situated in the southeast of England, and the university sits on a hill overlooking the city of Canterbury and its world-renowned cathedral. The UniversityofKentwasgranteditsRoyalCharterin1965.Todaytherearealmost 10,000 full-time and part-time students, with over 110...

With one foot in the countryside and the other connected to the metropolis, Newton Mearns is the southernmost suburb of Glasgow. The parish of Mearns bounds southwards over undulating landscape and moors to Ayrshire, with the slopes of Clarkston and Busby within its northern edge, marked by the River Earn. From Rouken Glen to Fenwick Moor, from castles and mansions to farmlands, fermtouns, and cotton mills, its 800-year history records a fertile area and an ever-increasing population. In the twelfth century, King David I granted lands to Walter Fitzalan, and subsequent landowners built Mearns...