FMCAD 2025 Student Forum CFP
58 views
Skip to first unread message
Tanja Schindler
Jul 1, 2025, 6:38:34 AMJul 1
to SMT-announce
=======================================================================
FMCAD 2025 Student Forum CFP
October 6-10, 2025, Menlo Park, CA, USA
=======================================================================
Continuing the tradition of the previous years, FMCAD 2025 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.
Important Dates
---------------------
Student forum abstract submission: Monday, July 7, 2025
Student forum submission: Sunday, July 13, 2025
Student forum notification: Monday, August 11, 2025
All deadlines are 11:59 pm AoE (Anywhere on Earth)
More info here: https://fmcad.org/FMCAD25/student_forum/
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 the Student Forum’s program
committee.
Format
----------
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 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 the forum should not interfere
with potential future submissions of this research (to FMCAD or
elsewhere).
Travel Awards
-------------------
Limited funds may be available to support travel and/or conference
registration, which will be reimbursed after the conference. The first
author of each contribution will be given priority over other authors.
Please ensure you keep all receipts for reimbursement. Further
instructions on how to apply for financial support will be provided soon.
Submissions
-----------------
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, therefore 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 (excluding references).
Each student may only submit one report as the main author.
Please submit in the Student forum track using
https://easychair.org/conferences/?conf=fmcad2025
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
and contributions. Avoid unnecessary notational clutter unless it is a
widely used formalism and helps make the paper more concise and clear.
Only describe related work that is absolutely crucial to your
contribution: the limited space available should be used to present
your work.
Forum Chairs
----------------
Tanja Schindler, University of Basel
Lee A. Barnett, AWS
Feel free to email fmcad2025s...@easychair.org if you have any
questions about the event.
FMCAD 2025 Student Forum CFP
October 6-10, 2025, Menlo Park, CA, USA
=======================================================================
Continuing the tradition of the previous years, FMCAD 2025 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.
Important Dates
---------------------
Student forum abstract submission: Monday, July 7, 2025
Student forum submission: Sunday, July 13, 2025
Student forum notification: Monday, August 11, 2025
All deadlines are 11:59 pm AoE (Anywhere on Earth)
More info here: https://fmcad.org/FMCAD25/student_forum/
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 the Student Forum’s program
committee.
Format
----------
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 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 the forum should not interfere
with potential future submissions of this research (to FMCAD or
elsewhere).
Travel Awards
-------------------
Limited funds may be available to support travel and/or conference
registration, which will be reimbursed after the conference. The first
author of each contribution will be given priority over other authors.
Please ensure you keep all receipts for reimbursement. Further
instructions on how to apply for financial support will be provided soon.
Submissions
-----------------
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, therefore 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 (excluding references).
Each student may only submit one report as the main author.
Please submit in the Student forum track using
https://easychair.org/conferences/?conf=fmcad2025
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
and contributions. Avoid unnecessary notational clutter unless it is a
widely used formalism and helps make the paper more concise and clear.
Only describe related work that is absolutely crucial to your
contribution: the limited space available should be used to present
your work.
Forum Chairs
----------------
Tanja Schindler, University of Basel
Lee A. Barnett, AWS
Feel free to email fmcad2025s...@easychair.org if you have any
questions about the event.
Tanja Schindler
Jul 7, 2025, 1:53:37 AMJul 7
to SMT-announce
Dear all,
we have decided to extend the submission deadline for the FMCAD 2025 student forum.
The new deadlines are:
Student forum abstract submission: Monday, July 14, 2025
Student forum submission: Sunday, July 20, 2025
Tanja Schindler and Lee Barnett
FMCAD 2025 Student Forum chairs
we have decided to extend the submission deadline for the FMCAD 2025 student forum.
The new deadlines are:
Student forum abstract submission: Monday, July 14, 2025
Student forum submission: Sunday, July 20, 2025
Tanja Schindler and Lee Barnett
FMCAD 2025 Student Forum chairs
Reply all
Reply to author
Forward
0 new messages