posted by organizer: VincenzoArceri || 450 views || tracked by 1 users: [display]

FMSAV 2019 : Formal Methods for Software Analysis and Verification - Special track of VALID 2019


When Nov 24, 2019 - Nov 28, 2019
Where Valencia
Submission Deadline Sep 18, 2019
Notification Due Oct 17, 2019
Final Version Due Oct 27, 2019
Categories    computer science   analysis   verification   formal methods

Call For Papers

In recent years, software-based systems have experienced a continuous growth in dimensions, complexity, and significance in a very wide range of fields and applications. Unsurprisingly, this central role of software systems has gone hand in hand with an increase of critical errors and failures that in the worst scenario may lead to data leakage, security holes, and system violation.
In this context, formal methods have been the de facto tool for ensuring the correctness of software with respect to a set of specifications. They enable the validation of complex systems in an automated (or, semiautomated) way reducing manual efforts. Nevertheless, a low percentage of software is proved correct by the
use of formal techniques.
The main goal of these formal methods for the validation of software-based systems. Research contributions can report new results and evidences on the scalability of existing tools to large code base of software, development of new methodologies for program analysis and verification, application of formal methods to new research areas, and industrial tools for proving system correctness.

Topics include, but not limited to:
- Abstract interpretation
- Deductive system
- Model checking
- Program analysis
- Program certification
- Program optimization
- Program synthesis
- Program verification
- Programs and languages specification
- Programming languages and semantics
- Run-time monitoring
- Security of software for cyber-physical systems
- Type systems

Important Datelines
Inform the Chair (see Contacts below): as soon as you decide to contribute
- Submission: Sep 18, 2019
- Notification: Oct 17, 2019
- Registration: Oct 27, 2019
- Camera-ready: Oct 27, 2019

Contribution Types
- Regular papers [in the proceedings, digital library]
- Short papers (work in progress) [in the proceedings, digital library]
- Posters: two pages [in the proceedings, digital library]
- Posters: slide only [slide-deck posted on]
- Presentations: slide only [slide-deck posted on]
- Demos: two pages [posted on]

Paper Format
- See:
- Before submission, please check and comply with the editorial rules:

- Extended versions of selected papers will be published in IARIA Journals:
- Print proceedings will be available via Curran Associates, Inc.:
- Articles will be archived in the free access ThinkMind Digital Library:

Paper Submission
Please select Track Preference as FMSAV

Samuele Buro:
Vincenzo Arceri:
Michele Pasqua:

Related Resources

SBMF 2022   25th Brazilian Symposium on Formal Methods
GreeNet Symposium - SGNC 2022   11th Symposium on Green Networking and Computing (SGNC 2020)
OVERLAY 2022   4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
EI-CFAIS 2022   2022 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2022)
ModeVVa 2022   19th Workshop on Model Driven Engineering, Verification and Validation
ACM-Ei/Scopus-ITNLP 2022   2022 2nd International Conference on Information Technology and Natural Language Processing (ITNLP 2022) -EI Compendex
FAVPQC 2022   International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols
IOP, EI, Scopus-PRECE 2022   2022 International Conference on Power, Renewable Energy and Control Engineering (PRECE 2022)-EI Compendex
VSTTE 2022   14th International Conference on Verified Software: Theories, Tools, and Experiments
SEFM 2022   20th International Conference on Software Engineering and Formal Methods