Formal Methods in
Computer-Aided Design
Sep 21-24, 2020, Online

Student Forum

Continuing the tradition of the previous years, FMCAD 2020 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 online via video conferencing.

Accepted Reports

  • Claudia Cauli: Formal Threat Modeling in the Cloud
  • Yizhak Elboher, Guy Katz and Justin Gottschlich: An Abstraction-Based Framework for Neural Network Verification
  • Sibylle Möhle: (Dual) Projected Propositional Model Counting and Enumeration without Repetition
  • Thomas Pani, Georg Weissenbacher and Florian Zuleger: Parameterized Program Safety and Liveness via Thread-modular Counter Abstraction
  • Sumanth Prabhu, Grigory Fedyukovich, Kumar Madhukar and Deepak D'Souza: Specification Synthesis using Constrained Horn Clauses
  • Georg Schuppe: Compositional Adviser-Strategy Synthesis for Multi-Agent Systems
  • Aalok Thakkar, Kedar Namjoshi and Richard Trefler: Modular Synthesis of Reactive Systems
  • Daniella Vo and Debashis Sahoo: Boolean Analysis Reveals Microbes Significant to Inflammatory Bowel Disease

Main Activities

  • Student Forum Talks. Each student will give a lightning talk.
  • Discussion Groups. The students will have the opportunity to explain and discuss their work in small groups.

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.

Important Dates

  • Student forum submission:
    June 30, 2020
  • Student forum notification:
    July 20, 2020

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


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

The best contributions (determined by public vote by attendees) will be given public recognition and a certificate at the event.


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 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/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 work.

Forum Chair

Peter Schrammel chairs the Student Forum. Feel free to send an email if you have questions about the event.