About the series
Formal Methods in the Field PI Meeting
November 14-15, 2022
Program Directors, Computer and Information Science and Engineering (CISE) Directorate
Pavithra Prabhakar (CCF), Anindya Banerjee (CCF), Damian Dechev (CCF), Daniela Oliveira
(CNS), Jason Hallstrom (CNS), Alhussein Abouzeid (CNS), Dan Cosley (IIS), Wei Ding (IIS)
Goals of the PI Meeting:
- Learn about other projects
- Cross fertilization of ideas
- Identify challenges and next steps for broader adoption of formal methods
