<tt><font size=2>FMCAD 2014 - STUDENT FORUM<br>
<br>
FMCAD 2014 is the 14th in a series of conferences on the<br>
theory and application of formal methods in computer-aided<br>
design and verification of computer systems and related<br>
topics. FMCAD provides a leading international forum to<br>
researchers and practitioners in academia and industry for<br>
presenting and discussing novel methods, technologies,<br>
theoretical results, tools, and open challenges in formal<br>
reasoning.<br>
<br>
STUDENT FORUM<br>
<br>
FMCAD 2014 will host a Student Forum that provides a<br>
platform for graduate students at any career stage to<br>
introduce their research to the wider Formal Methods<br>
community, and solicit feedback. Submissions for the event<br>
must be short reports describing research ideas or ongoing<br>
work that the student is currently pursuing, and must be<br>
within the scope of FMCAD. &nbsp;Work, part of which has been<br>
previously published, will be considered; the novel aspect<br>
to be addressed in future work must be clearly described in<br>
such cases.<br>
<br>
The event will consist of short presentations by the student<br>
authors of each accepted submission, and of a poster that<br>
will be on display throughout the duration of the<br>
conference. &nbsp;Accepted submissions will be listed, with title<br>
and author name, in the event description in the conference<br>
proceedings. &nbsp;The authors will also have the option to<br>
upload their poster and presentation to the FMCAD webpage.<br>
<br>
Limited funds will be available for travel assistance for<br>
students with accepted contributions.<br>
<br>
More details are available at</font></tt><font size=3 color=blue><u><br>
</u></font><a href="http://www.fmcad.org/FMCAD14/student-forum.shtml" target=_blank><tt><font size=2 color=blue><u>http://www.fmcad.org/FMCAD14/student-forum.shtml</u></font></tt></a><tt><font size=2><br>
<br>
IMPORTANT DATES FOR STUDENT FORUM<br>
<br>
Submission Deadline: Sunday, June 08<br>
Acceptance notification: Sunday, Aug 03<br>
Forum date: Monday, Oct 20<br>
<br>
STUDENT FORUM CHAIR<br>
Ruzica Piskac, Yale University<br>
</font></tt>