FMCAD 2013
Formal Methods in Computer-Aided Design
Portland, OR, USA
October 20-23, 2013

FMCAD 2013 Panels

Date: Tuesday, 22 October, 2013
Time: 17:00-18:00

Title: Teaching Formal Methods: Needs, Challenges, Experiences, and Opportunities

Moderator: Panagiotis Manolios, Northeastern University

Abstract: Formal Methods have had a transformative impact on areas such as hardware design and are poised to similarly transform how safety critical systems are designed and implemented. According to a recent study, one of the major barriers to the adoption of formal methods in industry is education. The industrial success of formal methods is currently not reflected in the university curriculum. This panel discussion will include representatives from industry, academia, and government. We will discuss (1) industrial needs, (2) challenges and experiences in teaching formal methods in higher education, and (3) how to respond to this opportunity as a community.

See the program for the complete FMCAD'13 schedule.