1st International Workshop on Applicable Formal Methods
AppFM 2021
- URL: https://sites.google.com/view/appfm21/
- Event Date: 2021-11-20 ~ 2021-11-26
- Submission Date: 2021-08-04
# 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
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
Journal Promotion
|
| Acta Koreana (Acta Koreana) |
|
| Acta Via Serica (AVS) |
|
| Computers and Concrete (CAC) |
|
| Journal of Information Processing Systems (JIPS) |
|
| Journal of Internet Computing and Services (KSII - JICS) |
|
| Journal of Smart Tourism (Smart Tourism) |
|
| Membrane and Water Treatment (MWT) |
|
| Wind and Structures, An International Journal (Wind and Structures) |
MANUSCRIPTLINK © 2015 -
