Call for Papers - SEFM 2012

Download the text version of the call for papers here.

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

1-5 October 2012

Thessaloniki, Greece

http://sefm2012.city.academic.gr

IMPORTANT DATES

  • 25/04/2012 11pm (Honolulu time) (extended hard deadline) - Full paper submission (abstract is not a prerequisite)
  • 24/05/2012 - Notification of acceptance
  • 24/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

KEYNOTE SPEAKERS

Three Distinguished Professsors in the field joined SEFM 2012 in Thessaloniki:

  • Prof. Cliff B. Jones
  • Prof. Corrado Priami
  • Prof. Wolfgang Reisig
For more information visit the website of the conference.


WORKSHOPS AND TUTORIALS

Four satellite workshops joined SEFM 2012! 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 here.

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@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).

After the conference, authors of selected papers will be invited to submit an extended version of their work to be considered for publication in two special issues; one of the SoSyM (http://www.sosym.org/) journal (Software and Systems Modeling, Springer), and one of the Formal Aspects of Computing Journal (Springer), following the standard reviewing process of the journals.

COMMITTEES


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

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

Workshop Co-Chairs
  • Sara Fernandes, United Nations University (UNU-IIST), Macao
  • Panagiotis Katsaros, Aristotle University of Thessaloniki, Greece

Publicity Chair
  • Jonathan Bowen, Museophile Limited, UK

Program Committee
  • Bernard K. Aichernig, Austria - TU Graz
  • Ade Azurat, Indonesia - Fasilkom UI
  • Luis Barbosa, Portugal - Universidade do Minho
  • Thomas Anung Basuki Indonesia - United Nations University
  • Fevzi Belli, Germany - University of Paderborn
  • Alexandre Bergel, Chile - University of Chile
  • Jonathan P. Bowen, UK - Museophile Limited
  • Christof J. Budnik, USA - Siemens
  • Anna Cavalcanti, UK - University of York
  • Antonio Cerone, Macao - United Nations University, UNU-IIST
  • Benoit Combemale, France - IRISA, Université de Rennes
  • Anthony J. Cowling, UK - University of Sheffield
  • Van Hung Dang, Vietnam - Vietnam National University
  • Dimitris Dranidis Greece - CITY College, Int. Faculty of the Univ. of Sheffield
  • Jose Luiz Fiadeiro, UK - University of Leicester
  • John Fitzgerald, UK - Newcastle University
  • Martin Franzle, Germany - Carl von Ossietzky Universitat Oldenburg
  • Dimitra Giannakopoulou, USA - NASA Ames
  • Stefania Gnesi, Italy - ISTI-CNR
  • Klaus Havelund, USA - Jet Propulsion Laboratory, California Inst. of Technology
  • Rob Hierons, UK - Brunel University
  • Florentin Ipate, Romania - University of Pitesti
  • Jean-Marie Jacquet, Belgium - University of Namur
  • Tomasz Janowski, Macao - UNU-IIST Center for Electronic Governance
  • Panagiotis Katsaros, Greece - Aristotle University of Thessaloniki
  • Petros Kefalas, Greece - South-East European Research Centre (SEERC)
  • 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
  • Tiziana Margaria, Germany - University of Potsdam
  • Mercedes Merayo, Spain - Univverisad Complutense de Madrid
  • Stephan Merz, France - INRIA Lorraine
  • Marius Minea, Romania - Politehnica University of Timisoara
  • 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
  • Ernesto Pimentel, Spain - University of Malaga
  • Sanjiva Prasad, India - Indian Institute of Technology Delhi
  • Anders Ravn, Denmark - Aalborg University
  • Wolfgang Reisig, Germany - Humboldt University of Berlin
  • Leila Ribeiro, Brazil - Universidade Federal do Rio Grande do Sul
  • Bernhard Rumpe, Germany - RWTH Aachen University
  • Augusto Sampaio, Brazil - Federal university of Pernambuco
  • Ina Schaefer, Germany - Technical University Braunschweig
  • Gerardo Schneider, Sweeden - Chalmers - University of Gothenburg
  • Joseph Sifakis, Switzerland - EPFL
  • Massimo Tivoli, Italy - University of L'Aquila
  • Viktor Vafeiadis, Germany - MPI-SWS
  • Husnu Yenigun, Turkey - Sabanci University

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