posted by organizer: zhmtechie || 4648 views || tracked by 7 users: [display]

ICFEM 2022 : 23th International Conference on Formal Engineering Methods

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Formal Engineering Methods
 
Link: http://maude.ucm.es/ICFEM22
 
When Oct 24, 2022 - Oct 27, 2022
Where Madrid
Abstract Registration Due Apr 10, 2022
Submission Deadline Apr 17, 2022
Notification Due Jun 26, 2022
Final Version Due Jul 10, 2022
Categories    software engineering   formal methods   theoretical computer science   reliability
 

Call For Papers

The International Conference on Formal Engineering Methods (ICFEM) is an international leading conference series in formal methods and software engineering. Since 1997, ICFEM has been serving as an international forum for researchers and practitioners who have been seriously applying formal methods to practical applications. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, present their research, and help advance the state of the art. ICFEM is interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical and tangible benefit. ICFEM has been hosted in many countries around the world.

The proceedings of the ICFEM 2022 symposium are planned to be published in Lecture Notes in Computer Science (Springer). The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to a special issue in journals indexed in the JCR. In particular, selected papers in the topics of the Journal of Logical and Algebraic Methods in Programming will be invited to a special issue.

Topics of Interest
Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to:

Abstraction, refinement and evolution
Formal specification and modelling
Formal verification and analysis
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 and security
Formal methods for software reliability and dependability
Development, integration and experiments involving verified systems
Formal certification of products under international standards
Formal model-based development and code generation

ICFEM 2022 Paper Submission
Submission should be done through the ICFEM 2022 submission page, handled by the EasyChair conference system:

https://easychair.org/conferences/?conf=icfem2022.

As in previous years, the proceedings will be published in the Springer Lecture Notes in Computer Science series.

Papers should be written in English and should not exceed 16 pages (including references) in the Springer's LNCS format. Additional material may be placed in an appendix, to be read at the discretion of the reviewers and to be omitted in the final version. Formatting style files and further guidelines for formatting can be found at the Springer website.


Important Dates:

Workshop/Tutorial Proposals: March 13, 2022 (send your proposals to ariesco@ucm.es)
Abstract Submission: April 10, 2022 (AOE)
Paper Submission: April 17, 2022 (AOE)
Author Notification: June 26, 2022
Camera-ready versions: July 10, 2022
Conference: October 24-27, 2022

General Chairs:
Narciso Martí-Oliet (Universidad Complutense de Madrid, SP)
Kazuhiro Ogata (Japan Advanced Institute of Science and Technology, JP)

Program Co-Chairs:
Adrián Riesco (Universidad Complutense de Madrid, SP)
Min Zhang (East China Normal University, CN)


Program Committee:
Yamine Ait Ameur (IRIT/INPT-ENSEEIHT, France)
Étienne André (Université de Lorraine, CNRS, Inria, LORIA, Nancy, France)
Cyrille Valentin Artho (KTH Royal Institute of Technology, Sweden)
Christian Attiogbe (University of Nantes, France)
Guangdong Bai (The University of Queensland, Australia)
Christel Baier (TU Dresden, Germany)
Richard Banach (University of Manchester, United Kingdom)
Luís Soares Barbosa (University of Minho, Portugal)
Christiano Braga (Universidade Federal Fluminense, Brazil)
Hadrien Bride (Griffith University, Australia)
Ana Cavalcanti (University of York, United Kingdom)
Yuting Chen (Shanghai Jiao Tong University, China)
Yu-Fang Chen (Academia Sinica, China)
Yean-Ru Chen (National Cheng Kung University, Taiwan)
Yunja Choi (Kyungpook National University, South Korea)
Ranald Clouston (Aarhus University, Denmark)
Sylvain Conchon (Universite Paris-Sud, France)
Florin Craciun (Babes-Bolyai University, Romania)
Frank De Boer (Centrum Wiskunde & Informatica, The Netherlands)
Yuxin Deng (East China Normal University, China)
Thi Thu Ha Doan (Freiburg University, Germany)
Naipeng Dong (National University of Singapore, Singapore)
Flavio Ferrarotti (Software Competence Centre Hagenberg, Austria)
Marc Frappier (Université de Sherbrooke, Canada)
Lindsay Groves (Victoria University of Wellington, New Zeland)
Xudong He (Florida International University, United States)
Zhe Hou (Griffith University, Australia)
Pao-Ann Hsiung (National Chung Cheng University, Taiwan)
Fuyuki Ishikawa (National Institute of Informatics, Japan)
Eun-Young Kang (University of Southern Denmark, Denmark)
Tsutomu Kobayashi (National Institute of Informatics, Japan)
Yi Li (Nanyang Technological University, Singapur)
Xuandong Li (Nanjing University, China)
Shang-Wei Lin (Nanyang Technological University, Singapur)
Si Liu (ETH Zurich, Switzerland)
Yang Liu (Nanyang Technological University, Singapur)
Zhiming Liu (Southwest University, China)
Brendan Mahony (DSTO, Australia)
Frederic Mallet (Université Nice Sophia-Antipolis, France)
Dominique Mery (Université de Lorraine, LORIA, France)
Stephan Merz (Inria Nancy, France)
Shin Nakajima (National Institute of Informatics, Japan)
Masaki Nakamura (Toyama Prefectural University, Japan)
Peter Ölveczky (University of Oslo, Norway)
Jun Pang (University of Luxembourg, Luxembourg)
Yu Pei (The Hong Kong Polytechnic University, China)
Shengchao Qin (Teesside University, United Kingdom)
Silvio Ranise (University of Trento and Fondazione Bruno Kessler, Italy)
Elvinia Riccobene (University of Milan, Italy)
Rubén Rubio (Universidad Complutense de Madrid, Spain)
David Sanan (Nanyang Technological University, Singapur)
Jing Sun (The University of Auckland, Australia)
Meng Sun (Peking University, China)
Alwen Tiu (The Australian National University, Australia)
Elena Troubitsyna (KTH Royal Institute of Technology, Sweden)
Ionut Tutu (Simion Stoilow Institute of Mathematics of the Romanian Academy, Romania)
Ji Wang (National University of Defense Technology, China)
Hai H. Wang (University of Aston, United Kingdom)
Bow-Yaw Wang (Academia Sinica, China)
Virginie Wiels (ONERA / DTIM, France)
Naijun Zhan (Chinese Academy of Sciences, China)


Related Resources

ICFEM 2024   International Conference on Formal Engineering Methods
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
FM 2024   Formal Methods
ACM ICMLT 2024   ACM--2024 9th International Conference on Machine Learning Technologies (ICMLT 2024)
FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
AFMAS 2024   Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
ACM ICCTA 2024   ACM--2024 10th International Conference on Computer Technology Applications (ICCTA 2024)
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
7FMA 2024   7th International Symposium Formal Methods in Architecture