[ecoop-info] 1st CfP - 10th SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2012)

[Dimitrios Kourtesis]

1st CALL FOR PAPERS - SEFM 2012

10th International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS
(SEFM 2012)

1-5 October 2012

Thessaloniki, Greece

URL: http://sefm2012.city.academic.gr
For any query/comment contact SEFM 2012 Organizing Committee
sefm12 at gmail.com

+++++++++++++++++++++++++++++++++++++++++++++++++++
IMPORTANT DATES

* 04/04/2012         Abstract submission
* 19/04/2012         Full paper submission
* 24/05/2012         Notification of acceptance
* 15/06/2012         Final (camera ready) paper
* 1-5/10/2012        10th SEFM Conference
+++++++++++++++++++++++++++++++++++++++++++++++++++

BACKGROUND AND OBJECTIVES

The aim of the conference is to bring together practitioners and
researchers from academia, industry and government to advance the state of
the art in formal methods, to facilitate their uptake in the software
industry and to encourage their integration with practical engineering
methods. Papers that combine formal methods and software engineering are
especially welcome.

Authors are invited to submit original research or tool papers on any
relevant topic. These can either be normal or short papers. Short papers
can discuss new ideas which are at an early stage of development and which
have not yet been thoroughly evaluated.

TOPICS

Topics of interest include, but are not limited to:
 * formal requirement analysis, specification and design
 * programming languages, program analysis and type theory
 * formal methods for service-oriented and cloud computing
 * formal aspects of security and mobility
 * model checking, theorem proving and decision procedures
 * formal methods for real-time, hybrid and embedded systems
 * formal methods for safety-critical, fault-tolerant and secure systems
 * software architecture and coordination languages
 * component, object and multi-agent systems
 * formal aspects of software evolution and maintenance
 * formal methods for testing, re-engineering and reuse
 * light-weight and scalable formal methods
 * tool integration
 * applications of formal methods, industrial case studies and technology
transfer
 * education and formal methods

WORKSHOPS AND TUTORIALS

A number of workshops and tutorials will accompany the main conference.
Currently there is an open call, for more information visit the website of
the conference.

LOCATION

The conference will be held in the beautiful city of Thessaloniki in
Greece. For more information about the city visit
http://en.wikipedia.org/wiki/Thessaloniki

SUBMISSION AND PUBLICATION

Submissions to the conference must not have been published or be
concurrently considered for publication elsewhere.
All submissions will be peer-reviewed and judged on the basis of
originality, contribution to the field, technical and presentation quality,
and relevance to the conference. All papers must be written in English.

Research and tool papers must not exceed 15 pages in the LNCS format while
short papers must not exceed 8 pages in the LNCS format (see
http://www.springer.de/comp/lncs/authors.html for details).

All queries on the submissions should be sent to: sefm12 at gmail.com
Papers must be submitted electronically via the Easychair System:
https://www.easychair.org/conferences/?conf=sefm2012

The proceedings will be published in the Springer Lecture Notes in Computer
Science series (LNCS, http://www.springer.com/lncs).

We are under negotiations so that after the conference, authors of selected
papers will be invited to submit an extended version of their work to be
considered for publication as special issues of journals, following the
standard reviewing process of the journal.

COMMITTEES

Conference Chair
* Mike Holcombe (University of Sheffield, UK)

Program Co-Chairs
* George Eleftherakis (CITY College, International Faculty of the
University of Sheffield, Greece)
* Mike Hinchey (Lero-the Irish Software Engineering Research Centre,
Ireland)

Program Committee (tentative)
Bernard K. Aichernig    Austria - TU Graz
Luis Barbosa            Portugal - Universidade do Minho
Alexandre Bergel        Chile - University of Chile
Jonathan P. Bowen       UK - Museophile Limited
Anna Cavalcanti         UK - University of York
Antonio Cerone          Macao - United Nations University, UNU-IIST
Anthony J. Cowling      UK - University of Sheffield
Van Hung Dang           Vietnam - University of Engineering and Technology
Jose Luiz Fiadeiro      UK - University of Leicester
Martin Franzle          Germany - Carl von Ossietzky Universitat Oldenburg
Klaus Havelund          USA - Jet Propulsion Laboratory, California Inst.
of Technology
Rob Hierons             UK - Brunel University
Jean-Marie Jacquet      Belgium - University of Namur
Tomasz Janowski         Macao - UNU-IIST  Center for Electronic Governance
Panagiotis Katsaros     Greece - Aristotle University of Thessaloniki
Joseph Kiniry           Denmark - It Universtity of Copenhagen
Martin Leucker          Germany - University of Lubeck
Peter Lindsay           Australia - The University of Queensland
Zhiming Liu             Macao - United Nations University
Antonia Lopez           Portugal - University of Lisbon
Mercedes Merayo         Spain - Univverisad Complutense de Madrid
Stephan Merz            France - INRIA Lorraine
Mizuhito Ogawa          Japan - Japan Advanced Institute of Science and
Technology
Olaf Owe                Norway - University of Oslo
Gordon Pace             Malta - University of Malta
Anna Philippou          Cyprus - University of Cyprus
Sanjiva Prasad          India - Indian Institute of Technology Delhi
Anders Ravn             Denmark - Aalborg University
Leila Ribeiro           Brazil - Universidade Federal do Rio Grande do Sul
Gerardo Schneider       Sweeden - Chalmers | University of Gothenburg
Joseph Sifakis          Switzerland - EPFL

Steering Committee
 * Manfred Broy, TU Munich, Germany
 * Antonio Cerone, UNU-IIST, Macao SAR, China
 * Mike Hinchey, Lero-The Irish Software Engineering Research Centre,
Ireland
 * Mathai Joseph, TRDDC, Pune, India
 * Zhiming Liu, UNU-IIST, Macao SAR, China
 * Andrea Maggiolo-Schettini, Pisa University, Italy

 George Eleftherakis and Mike Hinchey
 on behalf of the SEFM 2012 Programme Committee