FMCAD 2013 Student Forum

Portland, OR, USA

FMCAD 2013 will feature a Student Forum that provides a platform for graduate students at any career stage to introduce their research to the wider Formal Methods community, and solicit feedback on it. NVIDIA Corporation has generously agreed to financially support the participation of some successful student authors at the Forum and at FMCAD.

Format

The Forum will consist of short presentations by the student authors of each accepted submission, and of a poster that will be on display throughout the duration of FMCAD.

Visibility

In addition to the poster on display during the conference, accepted submissions will be listed, with title and author name, in an event description in the FMCAD proceedings. The report itself will not appear in the FMCAD proceedings; thus, the presentation at FMCAD should not interfere with potential future submissions of this research (to FMCAD or elsewhere). The authors will also have the option to upload their poster and presentation to the FMCAD webpage.

Submissions

Submissions must be short reports describing research ideas or ongoing work that the student is currently pursuing. The topic of the reports must be within the scope of the FMCAD conference. Work that has in part been published previously will be considered; the novel aspects to be addressed in future work must be clearly described in such cases.

Submissions should follow the same formatting guidelines as those for regular FMCAD conference submissions, except that the length is limited to 2 pages IEEE format, including all figures and references. Reports are submitted via the FMCAD EasyChair website, where the Student Forum is administered as a separate track of the main conference.

Dates

Submission deadline:	Sunday, Jun 02
Acceptance notification:	Sunday, Aug 04
Forum date:	Monday, Oct 21

Forum Chair

Thomas Wahl


Email the Forum Chair with questions about the event.