Friday, June 30, 2017

[DMANET] FMCAD 2017 Student Forum Call for Papers

TU Wien, Vienna, Austria
2-6 October, 2017

The International Conference on Formal Methods in Computer-Aided
Design (FMCAD 2017) 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: July 21, 2017
Acceptance notification: July 28, 2017
Conference dates: October 2-6, 2017

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

The event will consist of short presentations by the student authors of
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.
authors will also have the option to make their poster and presentation
on the FMCAD student forum 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 the 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.

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" at:

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

If you have questions, please contact the forum chair Keijo Heljanko

For more details visit

Associate Professor
Department of Computer Science
School of Science
Aalto University

* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.