Apologies for cross-postings.
-------------------------------
-----------------------------------------------------------------------
CALL FOR PAPERS
-----------------------------------------------------------------------
3rd South-East European Workshop on Formal Methods
SEEFM'07
Themes:
"Service-Oriented Computing and Formal Methods"
and
"Teaching Formal Methods"
Thessaloniki, 30 November - 1 December 2007
http://www.seefm.info/seefm07/
City College (http://www.city.academic.gr)
South-East European Research Centre SEERC (http://www.seerc.org)
Satellite workshop of
Informatics Education Europe Conference II, 29-30 November 2007
http://www.seerc.org/ieeii2007
-----------------------------------------------------------------------
SCOPE
-----------------------------------------------------------------------
The successful organisation of the 1st Workshop that took place in
Thessaloniki (SEEFM03) and the the 2nd Workshop that took place in
Ochrid (SEFM05), fulfiled its goal by bringing people from SEE together,
based on their common interest in Formal Methods. The aim of the 3rd in
series workshop is to continue this success by engaging more researchers
of the Formal Methods community not only from South-East Europe but also
from the rest of the world. The theme of this workshop is twofold and
deals with:
(a) "Service-Oriented Computing and Formal Methods" and
(b) "Teaching Formal Methods".
This year the workshop will be held in Thessaloniki and will be a
satellite of the Informatics Education Europe II Conference which is
going to be held the previous days at the same venue.
Topics include but are not restricted to:
- Languages and techniques for service composition/orchestration
- Semantics-based dynamic service discovery
- Verification techniques for ensuring QoS of service-oriented systems
- Case studies of formal methods applications in Web services
- Security of service-oriented systems
- Formal verification methods for security and trust in service-oriented
computing
- Comparisons of different formalisms/approaches
- Innovative approaches in teaching formal methods
- Tools for supporting formal methods courses
- Experience from teaching formal methods
- Specification and modelling techniques
- Lightweight formal methods
- Formal models for agile methodologies
- Tool support with focus on industrial needs
- Experience from applying formal methods in real cases
- Practical use and case studies from industrial practice
--------------------------------------------------------------------
KEYNOTE SPEAKERS
--------------------------------------------------------------------
- Marco Pistore
Department of Computer and Communication Technology (DIT) of the University of Trento.
- Martin Wirsing
Ludwig-Maximilians-Universitat Munchen, Germany
--------------------------------------------------------------------
COMMITTEES
--------------------------------------------------------------------
PROGRAMME COMMITTEE:
CHAIR: D. Dranidis (City College) [log in to unmask]
T. Balanescu (University of Pitesti)
F. Belli (University of Paderborn)
E. Berki (University of Tampere)
J. Bowen (London South Bank University)
C. Calude (University of Auckland)
G. Ciobanu (Romanian Academy of Sciences)
A. Cowling (University of Sheffield)
G. Eleftherakis (City College)
A. Eskenazi (Bulgarian Academy of Sciences)
M. Gheorghe (University of Sheffield)
D. Guelev (Bulgarian Academy of Sciences)
J. Hall (Open University, UK)
C. Hartonas (TEI Larissa)
G. Hassapis (Aristotle University of Thessaloniki)
M. Hinchey (Loyola College in Maryland, Baltimore, USA)
M. Holcombe (University of Sheffield)
F. Ipate (University of Pitesti)
M. Ivanovic (University of Novi Sad)
T. Jebelean (Johannes Kepler University, Institute e-Austria)
T. Kapus (University of Maribor)
P. Katsaros (Aristotle University Thessaloniki)
P. Kefalas (CITY college)
E. Kehris (TEI Serres)
H. Oguztuzun (Middle East Technical University)
W. Reisig (Humboldt-University of Berlin)
A. Sotiriadou (City College)
M. Wirsing (Ludwig-Maximilians University of Munich)
H. Yenigun (Sabanci University)
K. Zdravkova (Sts. Cyril and Methodius University)
J. Derrick (University of Sheffield)
H. Foster (Imperial College London)
ORGANIZING COMMITTEE:
CHAIR: I. Sakellariou (City College) [log in to unmask]
P. Kefalas (City College) [log in to unmask]
N. Zaharis (SEERC) [log in to unmask]
-----------------------------------------------------------------------
INFORMATION FOR AUTHORS
-----------------------------------------------------------------------
Submission of papers is a two step process.
SUBMISSION OF ABSTRACT:
----------------------
Authors are requested to submit an abstract (see Important Dates
section) of around 300 words. Abstracts must be submitted
electronically through the Conference Management System EasyChair.
(Submission will be open shortly).
SUBMISSION OF PAPER:
-------------------
A week later (see Important Dates section), authors are asked to
prepare a camera-ready paper of no more than 15 pages. Papers must
be submitted electronically in PDF through the Conference Management
System EasyChair. The submitted papers should contain only TITLE
without the names of the authors. Papers will go under blind review
by at least two referees. You are strongly encouraged to use
LaTeX2e or LaTeX 2.09 for the preparation of your manuscript using
the Springer standard. Guidelines can be downloaded from:
http://www.springer.de/comp/lncs/authors.html
SUBMISSION OF CAMERA READY (After Acceptance):
---------------------------------------------
After acceptance, authors are requested to submit a camera ready
(see Important Dates section) to the workshop secretariat
[log in to unmask] 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).
Authors are strongly encouraged to use the LaTeX2e style file
and NOT the Word style file.
For every accepted paper, at least one author should register
(as "Author") in the Workshop.
-----------------------------------------------------------------------
IMPORTANT DATES
-----------------------------------------------------------------------
SUBMISSION OF ABSTRACTS: 31 August 2007
SUBMISSION OF PAPERS: 7 September 2007
NOTIFICATION OF ACCEPTANCE: 5 October 2007
FINAL PAPERS: 19 October 2007
FINAL PROGRAMME: 25 October 2007
EARLY REGISTRATION AND
AUTHOR REGISTRATION: 30 October 2007
WORKSHOP: 30 November - 1 December 2007
-----------------------------------------------------------------------
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 will be
published as special issue of a journal. The latter assumes that
a number of papers selected will be peer reviewed once more.
LOCATION:
---------
The workshop will take place at Thessaloniki, Greece. Location
maps and travel directions are given on the workshop home page.
REGISTRATION:
------------
Early Registration Fee for Authors: 50 EURO
Early Registration Fee for Participants: 50 EURO
Late registration (after 30 October 2007 ): 70 EURO
Registration is free for PhD students and for registered participants
of Informatics Education Europe II Conference.
SECRETERIAT:
[log in to unmask]
WORKSHOP HOME PAGE:
http://www.seefm.info/seefm07
Sponsors: To be announced
--------------------------------------------------------------------
APOLOGIES FOR CROSS-POSTINGS
|
