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.FMCAD's sponsors have agreed to generously support the participation of students with successful Student Forum submissions at FMCAD, among others via a substantial financial contribution from FMCAD Inc., via several travel grants made available by NVIDIA Corporation directly for the Student Forum, and via further financial support by Atrenta Inc., Galois Inc., IBM Corporation, Intel Corporation, Jasper Design Automation, Mentor Graphics, Microsoft Corporation, NEC Labs America, OneSpin Solutions, Oski Technology Inc., Real Intent, Synopsis, and Xpliant.
For more sponsorship information, see here.
New: list of accepted submissions and schedule
The Student Forum consists of short presentations of the
authors, roughly following the schedule below, and a poster
session. For the times and locations of these two sessions, see
the main
FMCAD program.
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. All FMCAD participants are encouraged to attend the student presentations and the subsequent poster session, and engage with the presenters throughout the duration of the conference.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 09 (extended by 1 week) |
| Acceptance notification: | Sunday, Aug 04 |
| Forum date: | Monday, Oct 21 |
Forum Chair
Thomas WahlEmail the Forum Chair with questions about the event.