Igor Konnov konnov at forsyte.tuwien.ac.at
Sat Aug 20 02:59:07 EDT 2016

                FMCAD 2016 STUDENT FORUM
                 Mountain View, CA, USA
                    3-6 October, 2016

The sixteenth International Conference on Formal Methods in Computer-Aided
Design (FMCAD 2016) will host a forum for graduate students at any career
stage to highlight their research accomplishments and work-in-progress to
the wider Formal Methods community.


Submission Deadline: September 4, 2016
Acceptance notification: September 11, 2016
Forum date: October 3-6, 2016

Submissions for the event must be short reports describing research ideas or
ongoing work that the student is currently pursuing, and must be within the
scope of FMCAD.  Work, part of which has been previously published, will be
considered; the novel aspect to be addressed in future work must be clearly
described in such cases.  All submissions will be reviewed by a select group
of program committee members.

The event 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 the conference.  Accepted submissions will be listed, with title
and author name, in the event description in the conference proceedings. The
authors will also have the option to upload their poster and presentation to
the FMCAD web site.  The best contribution (determined by the committee based
on the quality of the submission and the presentation) will be given public
recognition and a certificate at the event.

Limited funds will be available for travel assistance for students with
accepted contributions.

We kindly ask faculty members to help us advertise the event by displaying
the posters available from the web-page in their departments.

If you have questions, please contact the forum chair Hossein Hojjat
(hh at cs.rit.edu).

For more details visit

More information about the Types-announce mailing list