Formal Methods in
Computer-Aided Design
October 23-27, 2023
Ames, Iowa, USA

Student Forum

Continuing the tradition of the previous years, FMCAD 2023 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 the Student Forum's program committee.

Important Dates

  • Student forum submission: July 12, 2023
  • Student forum notification: Aug 10, 2023

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


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.


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

Most of the applicants will receive travel reimbursement after the conference (the amount of support will be announced later). 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, 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).

Please submit in the Student Forum track using the Easychair system.

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 making 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 Chair

Mikolas Janota and Nina Narodytska are co-chairs the Student Forum. Feel free to send an email to Mikolas or to Nina if you have questions about the event.

Program Committee

Haniel Barbosa
Universidade Federal de Minas Gerais
Jaroslav Bendik
Armin Biere
University of Freiburg
Martin Blicha
University of Lugano
Nikolaj Bjørner
Microsoft Research
Martin Nyx Brain
University of London
Isabel Garcia Contreras
University of Waterloo
Rayna Dimitrova
CISPA Helmholtz Center for Information Security
Katalin Fazekas
TU Wien
Mathias Fleury
University of Freiburg
Arie Gurfinkel
University of Waterloo
Antti Hyvärinen
Martin Jonáš
Fondazione Bruno Kessler
Daniela Kaufmann
TU Wien
Konstantin Korovin
The University of Manchester
Giles Reger
AWS and The University of Manchester
Andrew Reynolds
University of Iowa
Corina Pasareanu
Mathias Preiner
Karem Sakallah
University of Michigan
Mark Santolucito
Barnard College
Carsten Sinz
Karlsruhe Institute of Technology
Nestan Tsiskaridze
Stanford University
Tom van Dijk
University of Twente
Florian Zuleger
Vienna University of Technology

The student forum of FMCAD 2023 is sponsored by NSF.