Title :
The FMCAD Graduate Student Forum
Author_Institution :
Northeastern University, Massachusetts 02115
Abstract :
FMCAD 2013 featured an event new to the FMCAD conference series, the Graduate Student Forum, held on Monday October 21, following the joint MEMOCODE/FMCAD Tutorial Day. The intention of the Forum was to specifically attract students to the conference, by providing them with a platform for introducing their research to the wider Formal Methods community, and obtain feedback on it. Submissions were solicited in the form of short reports describing research ideas, or ongoing work in the scope of the FMCAD conference that the student is currently pursuing.
Keywords :
Computers; Fabrics; Hardware; Information science; Joints; Software; Tutorials;
Conference_Titel :
Formal Methods in Computer-Aided Design (FMCAD), 2013
Conference_Location :
Portland, OR
DOI :
10.1109/FMCAD.2013.7154074
