| |||||||||||||||
AppFM 2021 : 1st International Workshop on Applicable Formal Methods | |||||||||||||||
Link: https://sites.google.com/view/appfm21/ | |||||||||||||||
| |||||||||||||||
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 |
|