Fourth International Conference on Integrated Formal Methods
4-7 April 2004 in Canterbury, Kent, England
Early Registration Deadline: 29 February 2004
One registration fee gives access to all the following sessions:
Ursula Martin - Queen Mary University of London, UK
A Tutorial Introduction to Designs in Unifying Theories of Programming. Jim Woodcock and Ana Cavalcanti.
From Monday 5 April until Wednesday 7 April lunchtime, two and a half days of technical program with papers covering themes of: Automating program analysis; Object orientation and UML; Testing; Verification; Hybrid and timed systems; Integration frameworks; Refinement; Graphical notations and State/event-based verification.
A meeting of FME will take place on Sunday 4th and is open to all FME members.
A meeting of the EPSRC FORTEST network (Formal methods and Testing) is being held on Wednesday afternoon. Please email John Derrick if you would like to attend.
The conference dinner will be held in Leeds Castle, called 'The most beautiful castle in the world'.
Scholarships and Doctoral Symposium:
We have scholarships available for PhD students (covering registration and accommodation, all EU students expected to be eligible): application form. All other PhD students also welcome to attend the Doctoral Symposium. Scholarship applications and abstract submissions for the Doctoral Symposium due by 29 February, notification 5 March.
|Hosted by Computer Science @ Kent||
This page is maintained by