Student Forum

Continuing the tradition of the previous years, FMCAD 2017 is hosting 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.

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
FMCAD program committee members.

Best Student Contribution

The Best Student Contribution Award was awarded to Thomas Pani (and
co-authors Yulia Demyanova, Helmut Veith and Florian Zuleger)
for the contribution Empirical Software Metrics for Benchmarking of Verification Tools.

Travel Awards

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.
Please make sure you hold on to
all receipts and boarding passes for reimbursement.

Format

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. All
participants of the conference are encouraged to attend the talks
and approach the students during the poster presentation. However, the clearly marked main author of the contribution will be given priority when selecting the recipients of the student travel awards.

Visibility

In addition to the poster on display during 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 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 best contributions (determined by public vote by attendees)
will be given public recognition and a certificate at the event.

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.
The submissions are to be made in PDF format through the FMCAD
Easychair page to the track “FMCAD 2017 Student Forum” by July 28:

Advice: Focus on the key idea and try to convey it to the
reader in an intuitive way. Provide a clear motivation and
emphasize novel concepts/contributions. Avoid unnecessary
notational clutter unless it is a widely used formalism and helps
to make the paper more concise and clear. Only describe related
work that’s absolutely crucial to your contribution: the limited
space available should be used to present your work.