iFM 2007
Integrated Formal Methods
Model-driven engineering, software factories, domain-specific languages, service-oriented architectures: all of these developments serve to increase the importance of concise, unambiguous descriptions of functionality, the kind of descriptions that come from the effective use of mathematical concepts and techniques, integrated into software engineering practice.
The Integrated Formal Methods series of conferences presents some of the latest research into the integration of languages and tools with a sound, mathematical basis. The sixth conference in the series will be held in Oxford, from the 2nd to the 5th of July 2007.
IFM 2007 will begin with workshops, a tutorial, and a special session on the Unifying Theories of Programming. The technical presentations will include invited talks from Jim Woodcock (York), Daniel Jackson (MIT), Mike Barnett (Microsoft Research), and He Jifeng (Software Engineering Institute, Shanghai).
Registration is now closed, with 120 delegates registered for the conference, workshops, and/or tutorial.
Travel information is available here!