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

Submission Instructions

Technical papers, and proposals for workshops and tutorials, should be prepared in the LNCS style and submitted in .pdf or .doc format via this website.

To submit a paper or proposal, you must first register as a user of the website: click here. A user id and password will be sent to your chosen email address.

Using the user id and password, you may then log in to the site, edit your registration details, and upload your submission; uploads will be acknowledged via email. You may update a submission at any time before the deadline.

You may choose a set of keywords to describe the content of your submission: this will help us in selecting appropriate referees. You may also provide comments for the Programme Committee, if you wish to do so.