NASA Logo, National Aeronautics and Space Administration

+NASA Home

+Ames Home

Corina Pasareanu Serves as Program Co-Chair for Two Formal Methods Conferences
Intelligent Systems Division Banner

Corina Pasareanu Serves as Program Co-Chair for Two Formal Methods Conferences

Robust Software Engineering (RSE) researcher Corina Pasareanu served as Program Co-Chair for the 24th international Formal Methods Symposium (FM 2021), November 20-26, 2021, which is part of a series organized by Formal Methods Europe. She also served in the same role for the 19th International Conference on Software Engineering and Formal Methods (SEFM 2021), December 6-10, 2021. Both conferences were held online.

BACKGROUND: FME organizes a symposium roughly every 18 months. Each symposium attracts between 125 and 500 attendees interested in both the theoretical aspects and practical application of formal methods. Attendees hail from all over the world.

The SEFM Conference aims to bring together 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.

POINT OF CONTACT: Corina Pasareanu, corina.s.pasareanu@nasa.gov

First Gov logo
NASA Logo - nasa.gov