[TYPES/announce] EXTENDED DEADLINE: FMCAD 2018 Student Forum

[Dejan Jovanović]

FMCAD 2018 STUDENT FORUM

FMCAD 2018, the eighteenth conference on the theory and
applications of formal methods in hardware and system
verification, will host the

                 6th FMCAD Student Forum
                   (Oct 31-Nov 2 2018)

providing a platform for graduate students at any career
stage to introduce their research to the wider Formal
Methods community.

IMPORTANT DATES

Submission Deadline: August 10, 2018
Acceptance notification: August 31, 2018
Forum date: October 31 - November 2, 2018

Details are provided on

http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD18/student-forum/

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. The main author of
each contribution will be given priority over other authors,
and because of this the main author of the contribution
needs to be clearly marked in the submission.

We kindly ask faculty members to help us advertise the
event.

If you have questions, please contact the forum chair Dejan
Jovanovic <dejan.jovanovic at sri.com> (SRI International).