Since it was started in Hiroshima, Japan in 1997, ICFEM has provided a forum for both researchers and practitioners to discuss and exchange their experience and results in research on theories, methods, languages, and supporting tools for integrating formal methods into conventional software engineering technologies to provide more effective and efficient approaches to large-scale software engineering. The goal of this conference is to bring together industrial, academic, and government experts in both formal methods and software engineering to help advance the state of the art.

At its first return to Hiroshima since 1997, ICFEM 2024 will celebrate the 25th anniversary of the ICFEM conference series. Researchers, practitioners, tool developers, and users are all welcome to submit papers and participate in the conference. We look forward to your contributions and participation.

MEMOCODE 2022 is a part of ESWEEK 2022, which is planned as a hybrid event, with the onsite component in Shanghai, China.   The scientific programme is now ready and ob the website of the conbferxebnce please have a look. 

Two keynote speakers are   announced:

• Manuel Serrano, INRIA:  Of JavaScript Ahead-Of-Time Compilation Performance
• Nan Guan, City University of Hong Kong: Towards a Theoretical Foundation for Real-Time Robotic Operating System (ROS)

Registration is possible using the website of ESWEEK.

The 13th Symposium on Theoretical Aspects of Software Engineering (TASE 2019) has been held in Guilin, China in July, 2019. TASE is an international symposium that aims to bring together researchers and developers from academia and industry with interest in the theoretical aspects of software engineering. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to current software engineering methodologies that need to be enhanced using modern results from theoretical computer science. We invited submission of research papers on topics covering all theoretical aspects of software engineering, including those describing applications of theoretical computer science in industrial applications and software engineering methodologies. TASE 2019 is the 13th in the TASE series. The past TASE symposiums were successfully held in Shanghai (’07), Nanjing (’08), Tianjin (’09), Taipei (’10), Xi’an (’11), Beijing (’12), Birmingham (’13), Changsha (’14), Nanjing (’15), Shanghai (’16), Nice (’17), Guangzhou (’18). The current special issue is proposing a list of papers selected among the papers published in the TASE 2019 proceedings.

Please  visit the link https://authors.elsevier.com/a/1eqh7c7X53Ldt

Selected papers from the Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020

The ABZ conference is dedicated to the cross-fertilization of state-based and machine-based formal methods, like Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z, that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The conference aims for a vital exchange of knowledge and experience among the research communities around different formal methods. The conference papers have been published in the LNCS series (see https://link.springer.com/book/10.1007/978-3-030-48077-6). Contributions were solicited on all aspects of the theory and applications of ASMs, Alloy, B, Event-B, TLA/TLA⁺, VDM, Z and other state-based rigor approaches in software/hardware engineering, including the development of tools as Formal IDEs, and industrial applications. The program spans from theoretical and methodological foundations to practical applications, emphasizing system engineering methods and tools that are distinguished by mathematical rigor and have proved to be industrially viable. The main goal of the conference is to contribute to the integration of accurate state- and machine-based system development methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation, mathematical verification of reliable high-quality hardware/software systems.

The message is informing  the reader that the next edition of MEMOCODE 2022 is planned for the last quarter of the year 2022.  You can start to prepare your submissions  and you will be ready for  a  contribution  to the next edition.

Dates

• Abstract submission deadline: June 30, 2021, 23:59 AoE
• Paper submission deadline: July 6, 2021, 23:59 AoE
• Notification of acceptance: August 30, 2021
• Final version of papers: September 29, 2021, 23:59 AoE
• Conference: November 20-22, 2021

MEMOCODE 2021 will be held as a virtual conference in light of the current COVID-19 situation, with the safety and well-being of all conference participants as the top priority.

Please visit  the conference link https:MEMOCODE 2021

The book is related to the  ANR Project IMPEX  http://impex.loria.fr

The proceedings of the ABZ 2020 are published as Springer LNCS volume 12071:

 
https://link.springer.com/book/10.1007/978-3-030-48077-6


ABZ 2021 will take place from June, 9-11 2021. 

More information and a new call for papers can be found on the new website https://abz2021.uni-ulm.de.