[TYPES/announce] FMCAD 2022 Student Forum CFP (Deadline July 15)

Mathias Preiner preiner at cs.stanford.edu
Tue Jul 5 12:10:52 EDT 2022


FMCAD 2022 Student Forum CFP

October 18-21, 2022, Trento, Italy


Important Dates

Student forum submission:   July 15 (extended), 2022
Student forum notification: Aug 19, 2022

These deadlines are 11:59 pm AoE (Anywhere on Earth)

More info here: https://fmcad.org/FMCAD22/student_forum/

Part of the FMCAD 2022:

FMCAD Tutorial Day: Oct. 18, 2022
Regular Program:    Oct. 19-21, 2022

Student Forum

Continuing the tradition of the previous years, FMCAD 2022 is hosting a
Student Forum that provides a platform for students at any career stage
(undergraduate or graduate) to introduce their research to the wider
Formal Methods community, and solicit feedback.

Main Activities

Each student will give a short presentation and present their poster in
the poster session.

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 subgroup of FMCAD 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. All participants of the
conference are encouraged to attend the talks and approach the students
during the poster presentation. Instructions for the preparation of the
talks and poster sessions will be announced on notification of


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 slide deck/poster/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).

Travel Awards

Most of the applicants will receive up to $1000 of travel reimbursement
after the conference. The first author of each contribution will be
given priority over other authors. Please make sure you hold on to all
receipts for reimbursement. Further instructions on how to apply for
travel grants will be on the website.


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. These reports will NOT
be published, thus we welcome reports based on already
submitted/published papers. However, the novel aspects to be addressed
in future work must be clearly described.

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.

Please submit in the Student forum track using the

***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

***Forum Chair***

Mathias Preiner (preiner at cs.stanford.edu) chairs the Student
Forum. Feel free to send an email if you have questions about the event.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_0xA4AF2BDE778B2463.asc
Type: application/pgp-keys
Size: 5251 bytes
Desc: OpenPGP public key
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220705/5f149fdf/attachment-0001.skr>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_signature
Type: application/pgp-signature
Size: 840 bytes
Desc: OpenPGP digital signature
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220705/5f149fdf/attachment-0001.sig>

More information about the Types-announce mailing list