The deadline for NFM 2011 has been extended to December 26th! Merry Christmas!
The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, government and industry, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems. The focus of the symposium is on formal methods, and aims to foster collaboration between NASA researchers and engineers and the wider aerospace and academic formal methods communities. The symposium will be comprised of a mixture of invited talks by leading researchers and practitioners, presentation of accepted papers, and panels.
Update: We received more than 140 submissions, (whew) so please stop submitting! 😉
I wonder if snow shoveling boosts creativity or something… (think)
