Sponsored by:

Information for Authors Camera Ready

You are strongly encouraged to use LaTeX 2.09 or LaTeX2e for the preparation of your camera-ready manuscript together with the corresponding files seefm03.sty for LaTeX 2.09 and seefm03.cls for LaTeX2e.

For users of LaTeX 2.09, here is a zip file containing 4 files (seefm03.sty, sampl.tex, sampl.ps, sampl_fg.eps), For users of LaTeX 2e, here is a zip file containing 4 files (seefm03.cls, sampl_2e.tex, sampl_2e.ps, sampl_fg.eps), If you are unable to use LaTeX, you may use MS WORD for Windows. Here is a zip file containing 4 files (sv-lncs, sv-lncs.dot, sv-lncs.pdf, seefm03_inst.doc).

Whatever the document preparation system used, a pdf or postscript file together with all the sources that were used for producing this file should be submitted. Papers submitted in a technically unsuitable form will be returned to the authors for corrections.

When submitting your camera-ready manuscript, please make sure you include the following:

  • short report on how you complied with referees'comments.
  • the PDF (preferably) or PS file of the final version of your contribution,
  • all your source (input) files, e.g. for LaTeX, TEX files for the text and PS or EPS files for the figures, or for MS WORD, a DOC file containing everything.
  • any packages, style files, templates, and special fonts you may have used,
  • the final DVI file (for papers prepared using LaTeX).

SEEFM'03
1st South-East European Workshop on Formal Methods
"Agile Formal Methods: Practical, Rigorous Methods for a changing world"
City College (www.city.academic.gr)
South-Eastern European Research Center SEERC (www.seerc.info)
Thessaloniki, Greece, 20 November 2003
Satellite of 1st Balkan Conference in Informatics, 21-23 Nov 2003 (bci1.csd.auth.gr)