[FM-India] ICFEM 2019: call for participation

[Étienne André]

     ============================================================
                        CALL FOR PARTICIPATION
                               ICFEM'2019
     

      21st International Conference on Formal Engineering Methods
                               ICFEM 2019
                             November 5th-9th
                             Shenzhen, China

                  http://csse.szu.edu.cn/icfem2019/
     =============================================================





*** NEW:
Two workshops (FTSCS and SOFL+MSVL) have been confirmed to go ahead with
ICFEM19, with SOFL+MSVL on the 5th and FTSCS on the 9th:
http://csse.szu.edu.cn/icfem2019/workshop.html


=============================
Invited speakers (***NEW***)
=============================
    Yang Liu, Nanyang Technological University, Singapore
    Luke Ong, University of Oxford
    Zhendong Su, ETH Zurich
    Naijun Zhan, Institute of Software, Chinese Academy of Sciences


=============================
Background and Objectives
=============================

Since it was started in Hiroshima, Japan in 1997, ICFEM has provided a
forum for both researchers and practitioners who are interested in
developing practical formal methods for software engineering or applying
existing formal techniques to improve software development process in
practice. Formal methods for the development of computer systems have
been extensively researched and studied. We now have good theoretical
understandings of how to describe what programs do, how they do it, and
why they work. A range of semantic theories, specification languages,
design techniques, verification methods, and supporting tools have been
developed and applied to the construction of programs of moderate size
that are used in critical applications. The remaining challenge now is
how to deal with problems in developing and maintaining large scale and
complex computer systems.

The goal of this conference is to bring together industrial, academic,
and government experts, from a variety of user domains and software
disciplines, to help advance the state of the art. Researchers,
practitioners, tool developers and users, and technology transfer
experts are all welcome. We are interested in work that has been
incorporated into real production systems, and in theoretical work that
promises to bring practical, tangible engineering benefits.

ICFEM 2019 will be organized and sponsored by Shenzhen University and
will be held in the attractive and enjoyable city Shenzhen during
November 5th-9th, 2019. We are looking forward to your contribution and
participation.

===============================
Scope and Topics
===============================

Submissions related to the following principal themes are encouraged,
but any topics relevant to the field of formal engineering methods and
their practical applications will also be considered.
    Abstraction, refinement and evolution
    Formal specification and modeling
    Program analysis
    Formal verification
    Model checking
    Formal approaches to software testing and inspection
    Formal methods for self-adaptive systems
    Formal methods for object-oriented systems
    Formal methods for component-based systems
    Formal methods for concurrent and real-time systems
    Formal methods for cloud computing
    Formal methods for cyber-physical systems
    Formal methods for software safety, security, reliability and
dependability
    Tool development, integration and experiments involving verified systems
    Formal methods used in certifying products under international standards
    Formal model-based development and code generation

    

===============================
Conference Organising Committees
===============================

General Co-Chairs
     Jifeng He, East China Normal University, China
     Zhong Ming, Shenzhen University, China

Program Co-Chairs
     Yamine Ait-Ameur, INPT-ENSEEIHT, France
     Shengchao Qin, University of Teesside, UK

Workshop Chair
     Lijun Zhang, Chinese Academy of Sciences, China

Tutorial Chair
     Jun Sun, Singapore University of Technology and Design, Singapore

Doctoral Symposium Co-Chairs
     Xin Peng, Fudan University, China
     Yi Li, Nanyang Technological University, Singapore

Finance Chair
     Yang Liu, Nanyang Technological University, Singapore

Publicity Chairs
     Étienne André, Université Paris 13
     Huibiao Zhu, East China Normal University

Local Organization Chair
     Zhiwu Xu, Shenzhen University, China

Steering Committee
     Keijiro Araki, Kyushu University, Japan
     David Basin, ETH Zurich, Switzerland
     Michael Butler, University of Southampton, UK
     Jin Song Dong, Griffith University and NUS
     Jifeng He, East China Normal University, China
     Mike Hinchey, University of Limerick, Ireland
     Shaoying Liu, Hosei University, Japan
     Kazuhiro Ogata, JAIST, Japan
     Shengchao Qin, University of Teesside, UK


===============================
CONTACTS
     Yamine Ait Ameur    yamine @ enseeiht.fr
     Shengchao Qin       S.Qin @ tees.ac.uk

===============================


ICFEM 2019 is referenced on https://www.conferences-computer.science/