The 8th IEEE International Conference on

Pisa, Italy
13--18 September, 2010

(CFP available for download: Download the SEFM 2010 Call For Papers in plain text TXT Format    Download the SEFM 2010 Call For Papers in MS Word DOC Format    Download the SEFM 2010 Call For Papers in Adobe PDF Format)

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 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
  • 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

Keynote Speakers

  • Carlo Ghezzi, Italy
  • Dimitra Giannakopoulou, USA
  • Dusko Pavlovic, UK/USA


The conference will be held at the Area della Ricerca CNR, Pisa, Italy (

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 10 pages in the IEEE format while short papers must not exceed 5 pages in the IEEE format.

Instructions for authors are available at:
LaTeX and MS Word 8.5x11x2 document classes (or template) can be downloaded from the website at

Papers must be submitted electronically via the Easychair System:

The IEEE Computer Society Press will publish the proceedings of the conference.

Authors of the accepted papers will be required to fill and sign a copy of the IEEE copyright form.

Special Issue of FACJ

The Formal Aspects of Computing journal will dedicate a special issue to SEFM 2010, for which authors of selected papers will be invited to submit a journal version of their conference paper.

Important Dates
  • Workshop Submission
  • 20 January 2010   EXPIRED
  • Title and Abstract submission
  • 22 March 2010
    29 March 2010
  • Paper submission  
  • 29 March 2010
    6 April 2010
  • Tutorial Submission  
  • 15 April 2010   EXPIRED
  • Notification of acceptance/rejection
  • 20 May 2010   EXPIRED
  • Camera-ready version due
  • 15 June 2010
    18 June 2010
    25 June 2010
  • Poster and Tool Demo submission  
  • 30 June 2010
    5 July 2010
  • Posters Notification of acceptance/rejection
  • 20 July 2010   EXPIRED
  • Early/Advance Registration Deadline
  • 30 July 2010   EXPIRED
  • Posters Camera-ready version due
  • 20 August 2010   EXPIRED
  • Conference
  • 13 - 18 September 2010 

    Chairs And Committees

    Conference Chair
    • Andrea Maggiolo Schettini, Pisa University, Italy
    Program Co-chairs
    • José Luis Fiadeiro, Leicester University, UK
    • Stefania Gnesi, ISTI-CNR, Italy
    Program Committee
    • Bernhard Aichernig, Austria
    • Luis Barbosa, Portugal
    • Marcello Bonsangue, Netherlands               
    • Artur Boronat, UK
    • Jonathan Bowen, UK
    • Antonio Cerone, Macao
    • Marsha Chechik, Canada
    • Flavio Corradini, Italy
    • Jim Davies, UK
    • Schahram Dustdar, Austria
    • George Eleftherakis Greece
    • Stephen Gilmore, UK
    • Michael Hansen, Denmark
    • Klaus Havelund, USA
    • Rob Hierons, UK
    • Dang Van Hung, Vietnam
    • Jean-Marie Jacquet, Belgium
    • Shmuel Katz, Israel
    • Padmanabhan Krishan, Australia
    • Xuandong Li, China
    • Peter Lindsay, Australia
    • Zhiming Liu, Macao
    • Antónia Lopes, Portugal
    • Franco Mazzanti, Italy
    • Dominique Méry, France
    • Carlo Montangero, Italy
    • Madhavan Mukund, India
    • Mizuhito Ogawa, Japan
    • Jennifer Perez, Spain
    • Sanjiva Prasad, India
    • Rosario Pugliese, Italy
    • Markus Roggenbach, UK
    • Bernhard Schätz, Germany
    • Gerardo Schneider, Sweden
    • Willem Visser, South Africa
    • Gianluigi Zavattaro, Italy
    Finance Chair
    • Alessandro Fantechi, DSI Florence University, Italy
    Tutorial Chair
    • Laura Semini, Computer Science Department, Pisa University, Italy
    Workshop Chair
    • Maurice ter Beek, ISTI-CNR, Italy
    Poster & Demo Tool Chairs
    • Franco Mazzanti (ISTI-CNR, Pisa, Italy)
    • Gianluca Trentanni (ISTI-CNR, Pisa, Italy)
    Organising Committee
    • Patrizia Asirelli, ISTI-CNR, Italy (Chair)
    • Gianluca Trentanni, ISTI-CNR, Italy
    • Maria Luisa Trivella, ISTI-CNR, Italy
    • Eda Marchetti, ISTI-CNR, Italy
    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

 SEFM 2010 School
    Home    |    News   |   Downloads   |   Sitemap   |  
    Warning: date(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /project/FMT/sefm2010/include/footer.php on line 83
      |   rss feed   |   css 2.1   |   last updated: 24 Sep, 2010 - 12:56