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

FormaliSE 2022   10th International Conference on Formal Methods in Software Engineering
Petri Nets 2022   43rd International Conference on Application and Theory of Petri Nets and Concurrency
SIMULTECH 2022   12th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
CoSim-CPS 2021   5th Workshop on Formal Co-Simulation of Cyber-Physical Systems
6FMA 2022   6th International Symposium Formal Methods in Architecture
AISTATS 2022   25th International Conference on Artificial Intelligence and Statistics
SDM 2022   SIAM International Conference on Data Mining
ISIR-eCom 2022   INTERACTIVE AND SCALABLE INFORMATION RETRIEVAL METHODS FOR ECOMMERCE ((conjunction with WSDM 2022)
ICPRAM 2022   11th International Conference on Pattern Recognition Applications and Methods
HEART 2022   2022 : 12th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies