posted by organizer: mfgl || 1490 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

FM 2024   Formal Methods
AVC 2023   Advances in Vision Computing: An International Journal
TASE 2024   18th Theoretical Aspects of Software Engineering Conference
IJMECH 2023   International Journal of Recent Advances in Mechanical Engineering
ABZ 2024   Abstract State Machines, Alloy, B and Z
NFM 2024   NASA Formal Methods Symposium
IJPLA 2023   International Journal of Programming Languages and Applications
AUEN 2024   3rd International Conference on Automation and Engineering
PETRINETS 2024   45th International Conference on Application and Theory of Petri Nets and Concurrency
NFM 2024   NASA Formal Methods Symposium