Validation and Verification

17th edition of the International Conference on Software Engineering and Formal Methods (SEFM 2019)

SEFM aims to bring together leading researchers and practitioners 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 within practical software engineering methods and tools.

Topics of interest include, but are not limited to, the following aspects of software engineering and formal methods:

Software Development Methods

NASA Formal Methods Symposium 2021 (NFM 2021)

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems.

18th Theory of Cryptography Conference (TCC 2020)

The Eighteenth Theory of Cryptography Conference is sponsored by the the International Association for Cryptologic Research (IACR). Papers presenting original research on foundational and theoretical aspects of cryptography are sought. For more information about TCC, see the TCC manifesto.

IEEE 32nd International Conference on Microelectronics (IEEE ICM 2020)

The International Conference on Microelectronics has already been held numerous times in different countries across the MiddleEast, Southern Europe, and Asia for the past 31 years. The 32nd edition of the conference will take place in Aqaba-Jordan. Jordan is home to one of the world's 7 wonders; Petra. Aqaba is a coastal harbor which serves as a launch point for visitors to Petra and Wadi Rum.