[ecoop-info] Call for submissions: FMCAD 2014 Student Forum

Mitra Purandare ZRLMPU at ch.ibm.com
Wed Jun 4 11:30:08 CEST 2014


FMCAD 2014 - STUDENT FORUM

FMCAD 2014 is the 14th in a series of conferences on the
theory and application of formal methods in computer-aided
design and verification of computer systems and related
topics. FMCAD provides a leading international forum to
researchers and practitioners in academia and industry for
presenting and discussing novel methods, technologies,
theoretical results, tools, and open challenges in formal
reasoning.

STUDENT FORUM

FMCAD 2014 will host 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.

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 webpage.

Limited funds will be available for travel assistance for
students with accepted contributions.

More details are available at
http://www.fmcad.org/FMCAD14/student-forum.shtml

IMPORTANT DATES FOR STUDENT FORUM

Submission Deadline: Sunday, June 08
Acceptance notification: Sunday, Aug 03
Forum date: Monday, Oct 20

STUDENT FORUM CHAIR
Ruzica Piskac, Yale University
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://web.satd.uma.es/pipermail/ecoop-info/attachments/20140604/3b1e9276/attachment.html>


More information about the ecoop-info mailing list