Fifth International Conference on Integrated Formal Methods

29 November - 2 December 2005 in Eindhoven, The Netherlands

Submission

Important Dates

• Submission Deadline: May 18, 2005
• Notification of acceptance: July 13, 2005
• Submission of final copy: August 17, 2005
• Conference: November 29 - December 2, 2005

Guidelines

Submissions should be original work, not published or submitted elsewhere. Submissions may be up to 20 pages in length and are preferably prepared with LaTeX. Springer Verlag will publish the conference proceedings in the series 'Lecture Notes in Computer Science', hence submissions must be prepared according to the LNCS author instructions (see http://www.springer.de/comp/lncs/authors.html). 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 copyright form is available here.

Submissions

Submission is now closed.