ICFEM: International Conference on Formal Engineering Methods

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2023 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
ICFEM 2022 23th International Conference on Formal Engineering Methods
Oct 24, 2022 - Oct 27, 2022 Madrid Apr 17, 2022 (Apr 10, 2022)
ICFEM 2020 The 22nd International Conference on Formal Engineering Methods (2020)
Nov 2, 2020 - Nov 6, 2020 Singapore May 24, 2020
ICFEM 2018 20TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS
Nov 12, 2018 - Nov 16, 2018 Gold Coast, Australia May 21, 2018
ICFEM 2017 19th International Conference on Formal Engineering Methods
Nov 13, 2017 - Nov 17, 2017 Xi'an May 7, 2017 (Apr 30, 2017)
ICFEM 2016 International Conference on Formal Engineering Methods
Nov 14, 2016 - Nov 18, 2016 Tokyo Apr 30, 2016 (Apr 22, 2016)
ICFEM 2015 17th International Conference on Formal Engineering Methods
Nov 3, 2015 - Nov 6, 2015 Paris Apr 26, 2015 (Apr 19, 2015)
ICFEM 2013 International Conference on Formal Engineering Methods
Oct 29, 2013 - Nov 1, 2013 Queenstown, New Zealand Apr 22, 2013 (Apr 15, 2013)
ICFEM 2012 14th International Conference on Formal Engineering Methods
Nov 12, 2012 - Nov 16, 2012 Kyoto, Japan Apr 30, 2012 (Apr 16, 2012)
ICFEM 2011 13th International Conference on Formal Engineering Methods
Oct 25, 2011 - Oct 28, 2011 Durham, UK Apr 7, 2011 (Mar 31, 2011)
ICFEM 2010 12th International Conference on Formal Engineering Methods
Nov 16, 2010 - Nov 19, 2010 Shanghai, China Jun 4, 2010 (May 28, 2010)
ICFEM 2009 11th International Conference on Formal Engineering Methods
Dec 9, 2009 - Dec 12, 2009 Rio de Janeiro Jul 20, 2009 (Jul 13, 2009)
 
 

Present CFP : 2022

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

SEFM 2022   20th International Conference on Software Engineering and Formal Methods
FM 2023   Formal Methods
ISSRE 2022   The 33rd International Symposium on Software Reliability Engineering
SECURWARE 2022   International Conference on Emerging Security Information, Systems and Technologies
SBMF 2022   25th Brazilian Symposium on Formal Methods
AMS 2022   Advanced Medical Sciences: An International Journal
IEEE SEAI--EI Compendex, Scopus 2022   2022 2nd IEEE International Conference on Software Engineering and Artificial Intelligence (SEAI 2022)--EI Compendex, Scopus
FACS 2022   18th International Conference on Formal Aspects of Component Software
Computer SI on SE4RAI 2023   IEEE Computer - Special Issue on Software Engineering for Responsible AI
ICLA 2022   10th Indian Conference on Logic and its Applications