Information for authors

PROCEEDINGS

Workshop proceedings will be published by:

Conference Publishing Services (CPS)

CPS produced content is submitted for indexing through IET INSPEC, and EI (Compendex), Thomson ISI, as well as other indexing services, and is also included in IEEE Xplore and the IEEE Computer Society (CSDL) Digital Library.


ABSTRACT SUBMISSION

Authors are requested to submit an abstract of around 300 words. Abstracts must be submitted electronically through the EasyChair Conference Management System (https://www.easychair.org/login.cgi?conf=seefm09).


FULL PAPER SUBMISSION

The full paper is to be submitted a week after the abstract submission. Full paper contributions must not exceed 6 pages, should contain TITLE ONLY, without the names of the authors, and must be submitted electronically in PDF through the EasyChair Conference Management System (https://www.easychair.org/login.cgi?conf=seefm09). All papers will undergo a blind reviewing process, by at least two referees.


PAPER FORMAT

Manuscripts should adhere to the IEEE standard. Although Microsoft Word submissions are acceptable, authors are strongly encouraged to use LaTeX2e or LaTeX 2.09 for the preparation of the manuscripts. Guidelines and templates for the IEEE format can be downloaded from: (http://www2.computer.org/portal/web/cscps/formatting)



SEEFM'09
4th South-East European Workshop on Formal Methods
"Formal Methods for Web Services", and
"Formal Methods for Agent-based Systems"
City College (www.city.academic.gr)
South-East European Research Centre SEERC (www.seerc.org)
Thessaloniki, Greece, 5 December 2009