posted by organizer: mfgl || 1156 views || tracked by 2 users: [display]

AppFM 2021 : 1st International Workshop on Applicable Formal Methods


When Nov 20, 2021 - Nov 26, 2021
Where Virtual
Submission Deadline Aug 4, 2021
Notification Due Sep 7, 2021
Final Version Due Oct 9, 2021
Categories    formal methods

Call For Papers

# Theme and Objective

Strengthen the community of researchers that perform evaluations of
existing formal approaches and variants in practical contexts and
support the transfer of these methods into software practice.

Aspects of evaluation: The approaches themselves, their automation,
their integration into practical contexts, their methodology, their
transfer to practice, their usefulness, their ease of use, their wider

Please, check the website below for updates!

# Paper Categories and Format

* Method applications, comparative studies (15p)
* Research summaries, literature surveys, systematic maps (6p)
* Experience reports, success stories, positions, visions (6p)
* Proposals of research designs (6p)

Submission and peer review via EasyChair, see website for details.

# Organisers

Mario Gleirscher, University of Bremen, DE
Jaco van de Pol, Aarhus University, DK
Jim Woodcock, University of York, UK

Related Resources

NFM 2023   NASA Formal Methods Symposium
SPIN 2023   29th International Symposium on Model Checking of Software
FMICS 2023   28th International Conference on Formal Methods for Industrial Critical Systems
ICCIoT 2023   4th International Conference on Cloud and Internet of Things
TASE 2023   Theoretical Aspects of Software Engineering
RTNS 2023   International conference on Real-Time Networks and Systems
CIOS 2023   International Conference on Cloud, IoT and Security
FoDLICSS 2023   1st Workshop on Formal Methods-based Deep Learning for Industrial Control Systems Security
iccq 2023   The Third International Conference on Code Quality
IJSEA 2022   International Journal of Software Engineering & Applications - ERA Indexed, H Index 30