24-28 May 2021
*********************************************************************** CALL FOR (VIRTUAL) PARTICIPATION 13th NASA Formal Methods Symposium (NFM 2021) May 24-28, 2021 https://shemesh.larc.nasa.gov/nfm2021 NFM 2021 is a virtual event organized by the Formal Methods Team at NASA Langley Research Center, Hampton, VA, USA ** Free Registration ** *********************************************************************** Virtual Symposium ----------------- Due to concerns about COVID-19, NFM 2021 is going virtual. We invite the formal methods and aligned communities to use this opportunity of a virtual symposium to participate and engage in a very exciting set of paper presentations and keynote talks. Theme of the Symposium ---------------------- 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. New developments and emerging applications like autonomous software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. Similar challenges need to be addressed during development and deployment of on-board software for both spacecraft and ground systems. The focus of the symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle. The NASA Formal Methods Symposium is an annual event organized by the NASA Formal Methods (NFM) Steering Committee, comprised of researchers spanning several NASA centers. NFM 2021 is being organized by the NASA Langley Research Center in Hampton, VA. More information about past NFM Symposiums can be found here: https://shemesh.larc.nasa.gov/NFM. Registration ------------ There is no registration fee charged to participants. All interested individuals are welcome to attend; however, all attendees must register here: https://shemesh.larc.nasa.gov/nfm2021/#loc-registration. Keynote Speakers ---------------- * Erika Abraham (RWTH Aachen University, Germany) * Cristina Cifuentes (Oracle Labs, Australia) * Matthew B. Dwyer (University of Virginia, USA) * Azadeh Farzan (University of Toronto, Canada) * Rob Manning (NASA Jet Propulsion Laboratory, USA) NFM2021 Program & F-IDE 2021 Workshop -------------------------- The complete program is available here: https://shemesh.larc.nasa.gov/nfm2021/program.html. This year the 6th Workshop on Formal Integrated Development Environment (F-IDE 2021) will be virtually hosted with NFM 2021. More information can be found at https://cister-labs.pt/f-ide2021. Organizers ---------- * Cesar Munoz (General co-chair) * Ivan Perez (General co-chair) * Aaron Dutle (PC co-chair) * Mariano Moscato (PC co-chair) * Laura Titolo (PC co-chair) -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam