4th South-East European Workshop on Formal Methods (SEEFM'09)

Venue: Rodoula Kehagia Auditorium

Location: Thessaloniki, Greece

Event Date/Time: Dec 04, 2009 End Date/Time: Dec 05, 2009
Registration Date: Dec 04, 2009
Early Registration Date: Oct 25, 2009
Abstract Submission Date: Aug 31, 2009
Paper Submission Date: Sep 07, 2009
Report as Spam

Description

-----------------------------------------------------------------------
CALL FOR PAPERS
-----------------------------------------------------------------------
4th South-East European Workshop on Formal Methods
SEEFM'09

Themes:

"Formal Methods for Web Services"
and
"Formal Methods for Agent-based Systems"

Thessaloniki, 4-5 December 2009

http://www.seefm.info/seefm09

City College (http://www.city.academic.gr)
South-East European Research Centre SEERC (http://www.seerc.org)

-----------------------------------------------------------------------
SCOPE
-----------------------------------------------------------------------
After the successful organisation of the first three workshops
(SEEFM'03 - Thessaloniki, SEEFM'05 - Ohrid, SEEFM'07 - Thessaloniki)
the 4th South-East European Workshop on Formal Methods aims to continue
bringing together researchers of the Formal Methods community, not only
from SEE region but from the rest of the world as well.
The theme of this workshop is twofold and involves:

(a) "Formal Methods for Web Services", and
(b) "Formal Methods for Agent-based Systems"

Topics include but are not restricted to:
- Formal languages and techniques for service composition/orchestration
- Validation and verification techniques for service-oriented systems
- Case studies of formal methods applications in Web services
- Formal verification methods for security and trust in web services
- Formal methods for the analysis and design of agent-based systems
- Formal specification and modelling techniques for agent-based systems
- Validation and verification of agent-based systems
- Formal testing approaches
- Safety and security in agent-based systems
- Comparisons of different formalisms/approaches
- Tool support for formal methods with focus on industrial needs
- Experience from applying formal methods in real cases
- Practical use and case studies from industrial practice

-----------------------------------------------------------------------
INFORMATION FOR AUTHORS
-----------------------------------------------------------------------
Paper submission will take place in two stages.

ABSTRACT SUBMISSION:
Authors are requested to submit an abstract of around 300 words.
Abstracts must be submitted electronically through the EasyChair Con-
ference 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 15 pages, should contain TITLE
ONLY, without the names of the authors, and must be submitted electron-
ically 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

CAMERA-READY PAPER SUBMISSION (After Acceptance):
Authors are requested to submit the camera-ready paper by email to the
workshop secretariat at seefm09@seerc.org. Whatever the document
preparation system used, authors should submit the camera-ready manu-
script in PDF or postscript format, together with all necessary source
files. Papers submitted in a technically unsuitable form will be
returned to the authors for corrections. When submitting the camera-
ready manuscript, please make sure you include the following:
- Short report on how you complied with the referees' comments.
- The PDF file of the final version of the paper.
- All your source files, e.g. for LaTeX, TEX and DVI 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 & special fonts you may have used.

For every accepted paper, at least one author should register to the
Workshop.

-----------------------------------------------------------------------
IMPORTANT DATES
-----------------------------------------------------------------------
SUBMISSION OF ABSTRACTS: 31 August 2009

SUBMISSION OF PAPERS: 7 September 2009

NOTIFICATION OF ACCEPTANCE: 5 October 2009

CAMERA-READY SUBMISSIONS: 19 October 2009

FINAL PROGRAMME: 30 October 2009

WORKSHOP: 4-5 December 2009

-----------------------------------------------------------------------
COMMITTEES
-----------------------------------------------------------------------
WORKSHOP CO-CHAIRS:
D. Dranidis (City College) dranidis@city.academic.gr
I. Stamatopoulou (City College) istamatopoulou@city.academic.gr

PROGRAMME COMMITTEE (to be finalised):

G. Antoniou (University of Crete, Greece)
F. Belli (University of Paderborn, Germany)
E. Berki (University of Tampere, Finland)
C. Calude (University of Auckland, New Zealand)
A. Cowling (University of Sheffield, UK)
Y. Demazeau (Grenoble Computing Lab, France)
G. Eleftherakis (City College, Greece)
H. Foster (Imperial College London, UK)
A. Friesen (SAP, Germany)
M. Gheorghe (University of Sheffield, UK)
D. Guelev (Bulgarian Academy of Sciences)
J. Hall (Open University, UK)
C. Hartonas (TEI Larissa, Greece)
M. Hinchey (Lero, Ireland)
M. Holcombe (University of Sheffield, UK)
F. Ipate (University of Pitesti, Romania)
M. Ivanovic (University of Novi Sad, Serbia)
T. Jebelean (Johannes Kepler University, Institute e-Austria)
P. Kefalas (CITY college, Greece)
E. Kehris (TEI Serres, Greece)
A. Marconi (Institute for Scientific and Technological Research, Italy)
H. Oguztungun (Middle East Technical University)
M. Pistore (Institute for Scientific and Technological Research, Italy)
W. Reisig (Humboldt-University of Berlin, Germany)
I. Sakellariou (University of Macedonia, Greece)
T. Simons (University of Sheffield, UK)
A. Sotiriadou (CITY college, Greece)
G. Struth (University of Sheffield, UK)
S. Vadera (University of Salford, UK)
W. Vasconcelos (University of Aberdeen, UK)
G. Vouros (University of the Aegean, Greece)
M. Wirsing (Ludwig-Maximilians University of Munich, Germany)
K. Zdravkova (Sts. Cyril and Methodius University, FYR of Macedonia)



-----------------------------------------------------------------------
WORKSHOP INFORMATION
-----------------------------------------------------------------------
OFFICIAL LANGUAGE:
The official language of the workshop is English.

PROCEEDINGS:
The proceedings will be published as an edited volume by SEERC. Every
effort will be made so that a post-proceedings volume is also published
as a special issue of a journal.

LOCATION:
The workshop will take place in Thessaloniki, Greece. Location maps
and travel directions are available from the workshop web site.

REGISTRATION:
Author Registration Fee: 200 Euros
Participant Early Registration Fee: 200 Euros
Participant Late Registration Fee (after 25/10): 250 Euros
Registration Fee for non-author PhD students: 100 Euros

WORKSHOP WEB SITE:
http://www.seefm.info/seefm09/index.html

SECRETARIAT:
E. Ramollari
K. Rousis
seefm09@seerc.org

Keynote Speakers: To be announced

Sponsors: To be announced

-----------------------------------------------------------------------

Venue

2 Kalapothaki Str.
Thessaloniki
Greece
MORE INFO ON THIS VENUE

Types