[TYPES/announce] FMCAD 2018 Student Forum - Call for Contributions

[Dejan Jovanovic]

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: July 27, 2018
Acceptance notification: Aug 17, 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).

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 3933 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180715/8065ac86/attachment-0001.p7s>