IFM2007 home
iFM 2007: integrated Formal Methods
2nd–5th July 2007  Oxford UK
 
login

Organisation

Jim DaviesUniversity of Oxford, UK(chair)
Wolfram SchulteMicrosoft Research, USA(co-chair)
Jin Song DongNational University of Singapore(co-chair)
Jeremy GibbonsUniversity of Oxford, UK(publicity)
Richard PaigeUniversity of York, UK(workshops and tutorials)
John DerrickUniversity of Sheffield, UK(refinement workshop)
Graeme Smith University of Queensland, Australia(refinement workshop)
Yifeng ChenUniversity of Durham, UK(UTP special session)
Phil BrookeUniversity of Teesside, UK(UTP special session)
Eerke BoitenUniversity of Kent, UK(doctoral symposium)

Programme Committee

Didier Bert Institute IMAG, Grenoble, France
Eerke Boiten University of Kent, UK
Jonathan Bowen Museophile Ltd, UK
Phil BrookeUniversity of Teesside, UK
Michael Butler University of Southampton, UK
Yifeng ChenUniversity of Durham, UK
Paul Curzon Queen Mary, University of London, UK
Jim Davies University of Oxford, UK
John Derrick University of Sheffield, UK
Steve Dunne University of Teesside, UK
Andy Galloway University of York, UK
Chris George United Nations University, Macau
Jeremy Gibbons University of Oxford, UK
Wolfgang Grieskamp Microsoft Research, Redmond, US
Henri Habrias University of Nantes, France
Maritta Heisel University of Duisburg–Essen, Germany
Soon-Kyeong Kim University of Queensland, Australia
Michel Lemoine ONERA, Toulouse, France
Shaoying Liu Hosei University, Tokyo, Japan
Dominique Mery LORIA, France
Stephan Merz LORIA, France
Colin O'Halloran QinetiQ, Malvern, UK
Richard Paige University of York, UK
Luigia Petre Turku Centre for Computer Science, Finland
Jaco van de Pol Centre for Mathematics and Computer Science, The Netherlands
Judi Romijn Eindhoven University of Technology, The Netherlands   
Thomas Santen Technical University of Berlin, Germany
Steve Schneider University of Surrey, UK
Wolfram Schulte Microsoft Research, Redmond, US
Kaisa Sere Abo Akademi University, Turku, Finland
Jane Sinclair University of Warwick, UK
Graeme Smith University of Queensland, Australia
Jin Song Dong National University of Singapore
Bill Stoddart University of Teesside, UK
Kenji Taguchi National Institute of Informatics, Japan
Helen Treharne University of Surrey, UK
Heike Wehrheim University of Paderborn, Germany
Kirsten Winter University of Queensland, Australia
Jim Woodcock University of York, UK