NFM 2025
The 17th NASA Formal Methods Symposium (NFM2025)
College of William & Mary, Computer Science Department
Williamsburg, Virginia, USA, June 11-13, 2025
Organization
Conference Chair
- Laura Titolo (CodeMetal)
Program Committee Chairs
- Aaron Dutle (NASA)
- Laura Humphrey (NASA)
Local Organization
- Yifan Sun (William & Mary)
- Mariano Moscato (AMA Inc.)
Publicity
- J Tanner Slagel (NASA)
Program Committee
- Erika Ábrahám, RWTH Aachen University, Germany
- Mauricio Ayala-Rincón, Universidade de Brasilia, Brazil
- Julia Badger, NASA Johnson Space Center, USA
- Sylvie Boldo, INRIA, France
- Alessandro Cimatti, Fondazione Bruno Kessler, Italy
- Ewen Denney, NASA Ames Research Center, USA
- Catherine Dubois, ENSIIE-Samovar, France
- Alexandre Duret-Lutz, LRDE / EPITA, France
- Gabriel Ebner, Vrije Universiteit Amsterdam, The Netherlands
- Marco Feliu, Analytical Mechanical Associates, USA
- Jean-Christophe Filliâtre, CNRS, France
- Pierre-Loic Garoche, ENAC, France
- Stefania Gnesi, ISTI, Italy (retired)
- Alwyn Goodloe, NASA Langley Research Center, USA
- Klaus Havelund, NASA Jet Propulsion Laboratory, USA
- Marieke Huisman, University of Twente, The Netherlands
- Warren Hunt, University of Texas at Austin, USA
- Nils Jansen, Ruhr-University Bochum, Germany
- Susmit Jha, SRI International, USA
- Andreas Katis, KBR/NASA Ames Research Center, USA
- Joe Kiniry, Galois, USA
- Jianwen Li, East China Normal University, China
- Panagiotis Manolios, Northeastern University, USA
- Paolo Masci, Analytical Mechanical Associates, USA
- Anastasia Mavridou, SGT Inc. / NASA Ames Research Center, USA
- Stefan Mitsch, DePaul University, USA
- David Monniaux, Verimag, France
- Mariano Moscato, Analytical Mechanical Associates, USA
- Sergio Mover, Ecole Politechnique Paris, France
- César Muñoz, NASA Langley Research Center, USA
- Jorge Navas, Certora, Israel
- Natasha Neogi, NASA Langley Research Center, USA
- Laura Panizo, Univeristy of Málaga, Spain
- Corina Pasareanu, CMU / NASA Ames Research Center, USA
- Lee Pike, Amazon Web Services, USA
- Camilo Rocha, Pontificia Universidad Javeriana de Cali, Colombia
- Kristin Yvonne Rozier, Iowa State University, USA
- Cristina Seceleanu, Mälardalen University, Sweden
- Natarajan Shankar, SRI International, USA
- Marielle Stoelinga, University of Twente, The Netherlands
- Mohit Tekriwal, Lawrence Livermore National Laboratory, USA
- Stefano Tonetta, Fondazione Bruno Kessler, Italy
- Jaco Van der Pol, Aarhus University
- Lauren White, NASA Langley Research Center, USA
- Virginie Wiels, Onera, France