EFM 2019: 1st International Workshop on Empirical Formal Methods Hosted by FM'19 Porto, Portugal, October 8-11, 2019 |
Conference website | https://sites.google.com/view/efm19/home |
Submission link | https://easychair.org/conferences/?conf=efm2019 |
THEME, CHALLENGES, AND GOALS
A plethora of difficulties in software practice and momen- tous software faults continuously deliver reasons to believe that formal methods (FMs) will, in one or another way, have to play a key role in mastering these difficulties and in achieving the desired compound guarantees (e.g. dependability, security, performance) of future software-intensive systems.
However, mission-critical and dependable software industry has not yet successfully adopted FMs as a vital part of their processes. Many practitioners believe in the high potential of FMs and would use FMs to their maximum benefit, whether directly or through powerful tools.
Sadly, the beneficial use of FMs still seems hindered by several obstacles. But the lack of recent knowledge about these obstacles and the lack of recent knowledge about FM effectiveness and productivity raises a high demand for strong empirical research and goal-directed collaboration between academia and industry. Interestingly, the low adoption of FMs in SE differs drastically from other engineering disciplines.
We aim to strengthen the community of researchers aiming at the compelling empirical validation of any aspects of FMs and of practitioners supporting such validation as well as the sustainable transfer of FMs into dependable software practice.
Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference.
IMPORTANT DATES
- Full paper deadline: 30 June 2019
- Author notification: 31 July 2019
- Camera-ready due: 2 September 2019
- Workshop: 7 or 9 October 2019
- Post-proceedings due (tentative): 15 November 2019
List of Topics
For this single-day workshop, we kindly request
- research summaries, focused literature surveys,
- experiences, opinions/positions, agendas, visions, (short)
- technical contributions (short or regular) related (but not limited) to the following topics:
- Experiences in or surveys (e.g., systematic mappings and reviews, interview studies) of
- FM transfers and applications (e.g. case studies);
- Challenges, limitations/barriers, and benefits of FMs.
- Evaluations of
- Tools, languages, frameworks, or platforms widely used in practice regarding their support of FMs;
- The integration of FMs into programming techniques, SE methods, and SE processes;
- New (automated) abstraction techniques.
- Comparisons of
- Projects applying FMs in practice with similar practical projects applying non-FM approaches;
- FMs with similar approaches in traditional engineering.
- Benchmarks and metrics (beyond tool performance) for
- The evaluation and comparison of FMs (e.g. fault-avoidance or fault-detection effectiveness);
- Usability and maturity assessment of FMs (e.g. abstraction effort, proof complexity, productivity).
- Research designs (e.g., for controlled field experiments) for the practical validation of FMs.
- Statements (see 2) on
- FM integration and unification;
- Future FM (empirical) research, education, and training.
Committees
Organizing committee
- Mario Gleirscher, University of York, UK
- Peter Gorm Larsen, Aarhus University, DK
- Jim Woodcock, University of York, UK
Program Committee
- Bernhard Aichernig, Technical University of Graz, AT
- Jean-Louis Boulanger, Independant Safety Assessor, FR
- Jonathan Bowen, London SBU / SWU Chongqing, UK/CH
- Lukas Bulwahn, BMW CarIT, DE
- Stefania Gnesi, ISTI-CNR Pisa, IT
- Rachel Harrison, Oxford Brookes University, UK
- Anne Haxthausen, Technical University of Denmark, DK
- Connie Heitmeyer, Naval Research Laboratory, US
- Michael Hinchey, University of Limerick, IE
- Michael Holloway, NASA Langley Research Center, US
- Thierry Lecomte, ClearSy, FR
- Stefan Leue, University of Konstanz, DE
- Colin O’Halloran, D-RisQ, UK
- Frank Ortmeier, University of Magdeburg, DE
- Jan Peleska, University of Bremen, DE
- Augusto Sampaio, Universidade Federal de Pernambuco, BR
- Colin Snook, University of Southampton, UK
- Ann Sobel, Miami University, US
- Kenji Taguchi, CAV Technologies, JP
- Willem Visser, Stellenbosch University, ZA
- Alan Wassyng, McMaster University, CA
Venue
The workshop will be hosted by FM'19 in Porto, Portugal. See http://formalmethods2019.inesctec.pt/ for full details of the venue.
Contact
All questions about submissions should be emailed to jim.woodcock@york.ac.uk.