The workshop will take place online on Tuesday, 23 November 2021, from 9:00 until 14:30 CET (UTC+1).
This is 16:00 - 21:30 CST (UTC+8). Please, find a further information below the schedule.

Invited talks (40 + 5min discussion):

• Jan Peleska (University of Bremen and Verified):
  The Future of Modelling Languages in Industry – Why Practitioners do not use Your Favourite Process Algebra

• Yannick Moy (AdaCore):
  Adding Proof to the Continuous Integration Workflow

Full-paper presentations (20 + 5min discussion):

• Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini and Elvinia Riccobene:
  Developing a prototype of a mechanical ventilator controller from requirements to code with ASMETA

• Yu-Shan Sun, Daniel Welch and Murali Sitaraman:
  F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails

• Lorenzo Capra:
  A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems

Short-paper presentations (15 + 5min discussion):

• Hubert Garavel, Frédéric Lang, Radu Mateescu and Wendelin Serwe:
  Is CADP an Applicable Formal Method?

• Salwa Souaf and Frederic Loulergue:
  Experience Report: Teaching Code Analysis and Verification Using Frama-C

• Carolina Carreira, Joao F. Ferreira, Alexandra Mendes and Nicolas Christin:
  Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda

Interactive discussion session:

• We will propose AppFM principles, discuss the build-up of an AppFM research community adhering to a manifesto around these principles, and identify potential next steps.