A Doctoral Symposium will be held in conjunction with the 24th International Symposium on Formal Methods (FM 2021), 20-26 November. The hosting institution of FM 2021 is the Institute of Software, Chinese Academy of Sciences, Beijing, China. Just like the entire FM, the Doctoral Symposium will be held as an online event.


20 November 2021

New York Berlin Beijing  
06:00 12:00 19:00 Invited Inspiration Talk: Erika Abraham [Video]
06:45 12:45 19:45 (break)
07:00 13:00 20:00 Xiyue Zhang (CN): Towards Trustworthiness Assurance of Deep Learning Systems [Video]
07:20 13:20 20:20 Livia Lestingi (IT): Model-Driven Development of Formally Verified Human-Robot Interactions [Video]
07:40 13:40 20:40 Weidi Sun (CN): Coverage Testing for DNNs [Video]
08:00 14:00 21:00 (break)
08:30 14:30 21:30 Yuteng Lu (CN): Mutation Testing of Machine Learning Systems [Video]
08:50 14:50 21:50 Muhammad Usama Sardar (D): Inconsistencies in Specification of Intel TDX Remote Attestation [Video]
09:10 15:10 22:10 Aliyu Tanko Ali (SK): Identify the States of Attacks [Video]
09:30 15:30 22:30 Ramana Nagasamudram (US): WhyRel: A Prototype for Relational Verification [Video]

Zoom link

Webinar ID: 812 5017 2221

Passcode: 857947
Doctoral Symposium Chairs
  • Wolfgang Ahrendt, Chalmers University of Technology, Gothenburg, Sweden
  • Ji Wang, National University of Defence Technology, Changsha, China
Programme Committee
  • Elvira Albert, Universidad Complutense de Madrid, Spain
  • Borzoo Bonakdarpour, Michigan State University, US
  • Zhiming Liu, Southwest University, China
  • Jacopo Mauro, University of Southern Denmark, Denmark
  • Hakjoo Oh, Korea University, Korea
  • Luigia Petre, Åbo University, Finland
  • Meng Sun, Peking University, China
Goals and Scope

This symposium aims to provide a supportive environment in which selected PhD students can present and discuss their ongoing work, meet other students working in the field of formal methods, and receive feedback and advice from experienced researchers. In addition to talks followed by discussions, the event will also provide opportunities for PhD students to meet senior academics in smaller groupings, to informally discuss research strategies, career aspects, or any other topic of interest.

If you are a PhD student researching any topic that falls within the area of formal methods, you are warmly invited to submit a Research Abstract for consideration to be selected as a participant of the Doctoral Symposium.

There will be a best presentation award.

Invited Speaker
Research Abstracts

Research Abstracts should be no more than 4 pages in Springer LNCS format. Your Research Abstract should:

  • Outline the problem being addressed, its relevance, the solution you are working on, your research approach (such as your research method) and your expected contribution.
  • Contain a very brief literature survey indicating the most important references related to:
    1. the problem being addressed and/or
    2. existing solutions as appropriate
  • Indicate your progress to date and the current stage of research.

The Research Abstract should be written by yourself as sole author, but may include references to relevant papers you have already published, including joint publications with collaborators.

How to Submit

Please upload your Research Abstract via the Easy Chair submission page.

Important Dates
  • Submission deadline: October 4th, 2021
  • Notification: October 22nd, 2021