[TYPES/announce] FMCAD Student Forum CFP (Deadline Sat July 10)

[Mark Santolucito]

# Student Forum

Continuing the tradition of the previous years, FMCAD 2021 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. The Student Forum will be held in
a hybrid format, online via video conferencing.

## Submissions

Submissions must be short reports describing research ideas or ongoing work
that the student is currently pursuing. Joint submissions from two students
are allowed, provided the students contributed equally to the work -
however, joint submissions must be presented by a single student. 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.

## Important Dates

- Student forum submission: July 10, 2021
- Student forum notification: Aug 6, 2021

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

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

## Main Activities

### Student Forum Talks.

Each student will give a lightning talk.

In the case that a student is attending FMCAD physically, the talk will be
given in-person at the conference.

In the case that a student is attending FMCAD remotely, the talk will be
given over Zoom.

### Discussion Groups.

Students will have the opportunity to explain and discuss their work in
small groups. More details to come on the logistics of discussion for
remote participants.

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

## Format

The event will consist of short presentations by the student authors of
each accepted submission, and of a virtual poster session. All participants
of the conference are encouraged to attend the talks, ask questions and
discuss with their fellow students in the virtual post sessions.
Instructions for the preparation of the talks and poster sessions will be
announced on notification of acceptance.

## Visibility

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

***Forum Chair***

Mark Santolucito (msantolu at barnard.edu) chairs the Student Forum. Feel free
to send an email if you have questions about the event.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210707/a0128fbd/attachment-0001.htm>