FMCAD'24 Student Forum: FMCAD'24 Student Forum Prague, Czechia, October 15-18, 2024 |
| Conference website | https://fmcad.org/FMCAD24/student_forum/ |
| Submission link | https://easychair.org/conferences/?conf=studentforumfmcad24 |
| Submission deadline | July 12, 2024 |
The submission deadline for FMCAD 2024 Student Forum has been extended to July 18 (AoE). The new notification date is August 19 (AoE).
=======================================================================
FMCAD 2024 Student Forum CFP
October 15-18, 2024, Prague, Czech Republic
=======================================================================
Continuing the tradition of the previous years, FMCAD 2024 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 submission: July 12, 2024 July 18, 2024
Student forum notification: August 16, 2024 August 19, 2024
These deadlines are 11:59 pm AoE (Anywhere on Earth)
More info here: https://fmcad.org/FMCAD24/student_forum/
Part of FMCAD 2024:
FMCAD Tutorial Day: Oct. 15, 2024
Regular Program: Oct. 16-18, 2024
-------------------
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 FMCAD Student Forum 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 conference participants
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 upon 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).
-------------------
Travel Awards
-------------------
Limited funds will 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, 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 (excluding references).
Please submit in the Student forum track using
https://easychair.org/conferences/?conf=studentforumfmcad24.
***Advice***: Focus on the key idea and 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 makes 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 work.
—---------------
Forum Chairs
—---------------
Nestan Tsiskaridze (nestan@stanford.edu) and Martin Blicha (martin.blicha@gmail.com) co-chair the Student Forum. Feel free to email us if you have questions about the event.
—--------------
PC Members
—--------------
Guy Amir, The Hebrew University of Jerusalem
Haniel Barbosa, Universidade Federal de Minas Gerais
Armin Biere, University of Freiburg
Nikolaj Bjørner, Microsoft
Martin Blicha, University of Lugano & Ethereum Foundation
William Eiers, Stevens Institute of Technology
Katalin Fazekas, TU Wien
Alberto Griggio, Fondazione Bruno Kessler
Arie Gurfinkel, University of Waterloo
Petra Hozzová, TU Wien
Antti Hyvärinen, Certora
Ahmed Irfan, SRI International
Konstantin Korovin, The University of Manchester
Daniel Larraz, University of Iowa
Ondrej Lengal, Brno University of Technology
Alexander Nadel, Technion & Intel
Andres Noetzli, Cubist, Inc.
Rodrigo Otoni, Università della Svizzera italiana
Sophie Rain, TU Wien
Mark Santolucito, Barnard College
Christoph Sticksel, The MathWorks
Nestan Tsiskaridze, Stanford University
Hari Govind V. K., University of Waterloo
Yoni Zohar, Bar-Ilan University