Fourth International Conference on Integrated Formal Methods

4-7 April 2004 in Canterbury, Kent, England



Doctoral Symposium

Invited Speakers

Important Dates

Conference Chairs

Program Committee

The Venue

Accommodation Information



Contact the Organisers



Important Dates

  • Submission Deadline: 15 September 2003
  • Notification of acceptance: 30 November 2003
  • Submission of final copy: 15 January 2004


Submissions should be original work, not published or submitted elsewhere. Submissions may be up to 20 pages in length and should be prepared with LaTeX. Springer Verlag will publish the conference proceedings in the series 'Lecture Notes in Computer Science', and hence the submissions should be prepared using the 'llncs' package ( ). The first page of the paper should contain an abstract of the paper, a list of keywords, the names, affiliations and emails of the authors. The contact authors should further provide their fax numbers as well as their phone numbers.

The corresponding author should send by email a 'ps' or a 'pdf' form of the paper to the address, with the subject line "Submission to IFM2004". If electronic submission is not possible, four hard copies of the paper should be sent to the address below:

"IFM2004 Submission" Eerke Boiten Computing Laboratory, University of Kent Canterbury CT2 7NF ENGLAND.

Go to the University of Kent's Home Page Hosted by Computer Science @ Kent This page is maintained by Marcel Oliveira.