First call for papers UTP'07 at IFM: Unifying Theories of Programming Organised as a special session of IFM 2007, the Sixth International Conference on Integrated Formal Methods IFM 2007 will be held at St Anne's College, Oxford, UK, from the 2nd to the 6th of July, 2007 http://www.ifm2007.org This special session follows the successful First International Symposium on Unifying Theories of Programming, UTP'06, and aims to reaffirm the significance of the ongoing UTP project, to encourage efforts to advance it by providing a focus for the sharing of results by those already actively contributing, and to raise awareness of the benefits of unifying theoretical frameworks among the wider computer science and software engineering communities. Technical contributions are invited on the UTP themes of abstraction, refinement, choice, termination, feasibility, concurrency and communication, as well as related issues. These themes include, but are not limited to, linkage of theories, algebraic descriptions, healthiness conditions, normal forms, incorporation of probabilistic programming, timed calculi, and object-based descriptions. The deadline for paper submission is 29th January 2007. The submission mechanism - via the website - will allow authors to indicate that the paper should be considered for the UTP special session. Session co-chairs: Phil Brooke University of Teesside, UK Yifeng Chen University of Durham, UK