This April, Professor Cesare Tinelli will give an invited talk at NFM 2012, the 4th NASA Formal Methods Symposium.

 The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, industry, and government, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems.