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

AppFM 2021 : 1st International Workshop on Applicable Formal Methods

FacebookTwitterLinkedInGoogle

Link: https://sites.google.com/view/appfm21/
 
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
applicability.

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

ICFEM 2024   International Conference on Formal Engineering Methods
ITCCMA 2024   11th International Conference on Information Technology, Control, Chaos, Modeling and Applications
FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems
VLSIE 2024   5th International Conference on VLSI & Embedded Systems
AFMAS 2024   Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
TAP 2024   18th International Conference on Tests and Proofs
CRISIS 2024   19th International Conference on Risks and Security of Internet and Systems
SOEN 2024   9th International Conference on Software Engineering
SIMULTECH 2024   14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
CONISOFT 2024   12th International Conference on Software Engineering Research and Innovation