posted by organizer: mbersani || 1997 views || tracked by 6 users: [display]

VERY* 2015 : The 2nd Workshop on formal verification for self-* systems

FacebookTwitterLinkedInGoogle

Link: http://verystar.cs.unibo.it/
 
When Sep 7, 2015 - Sep 8, 2015
Where York - United Kingdom
Abstract Registration Due May 4, 2015
Submission Deadline May 18, 2015
Notification Due Jun 19, 2015
Final Version Due Jun 26, 2015
Categories    formal verification   logic   software engineering
 

Call For Papers

Formal methods have been successfully used in the last decades for modeling and verification of various types of hardware and software systems. While most languages and techniques emerged in a context of monolithic systems with a limited self-adaptability, modern systems require approaches able to cope with dynamically changing requirements and emergent behaviors. The emphasis on system reconfigurability has not been followed by an adequate research effort, and the current state of the art lacks paradigms that can describe and analyze complex modern systems in a comprehensive way.

This workshop aims at filling this gap by bringing together researchers and practitioners with the goal of pushing forward the state of the art on logics and model checking, with particular attention on the specification and verification of systems in the following (and further) categories:

* self-adaptive systems
* self-reconfiguring systems
* self-organizing systems
* cyber-physical systems
* hybrid systems
* elastic systems
* multi-agent systems


The workshop focuses on demonstrating the applicability of Formal Methods in practical contexts. Therefore, both methodological/theoretical and industrial/applicative papers are welcome. In particular, the workshop aims at valuing and emphasizing the effective application of novel/emerging formalisms.

Contributions on all aspects of formal and semi-formal verification, including (but not limited to) model checking, modal logic, abstract interpretation, testing and modeling languages are encouraged.

Submission.
Authors are invited to submit original unpublished papers. Every submitted paper will be reviewed by at least three members of the Program Committee. Accepted papers will be published in a joint post-workshop proceedings for all SEFM 2015 workshops as a joint Lecture Notes in Computer Science volume, like the SEFM-2013 and SEFM-2014 post-workshop proceedings. Authors are invited to submit papers of no more than 15 pages in the LNCS format style. Proofs omitted due to space constraints can be put into an appendix to be read at the reviewers' discretion. Proofs added into appendix will *not* be published on proceedings. Submissions should be made using the VERY* 2015 web site: http://verystar.cs.unibo.it.

Related Resources

ICFEM 2017   19th International Conference on Formal Engineering Methods
ICSRS - Ei 2017   2017 2nd International Conference on System Reliability and Science (ICSRS 2017)--IEEE, Ei Compendex and Scopus
HVC 2017   Haifa Verification Conference
CAiSE 2018   CfP: CAiSE 2018 (30th International Conference on Advanced Information Systems Engineering)
FMCAD 2017   Formal Methods in Computer-Aided Design
ACM - ICMLSC - Ei 2018   ACM--2018 the 2nd International Conference on Machine Learning and Soft Computing (ICMLSC 2018)--Ei Compendex & Scopus
FMICS-AVOCS 2017   International Workshop on Formal Methods for Industrial Critical Systems (FMICS) and Automated Verification of Critical Systems (AVoCS)
AI 2017   3rd International Conference on Artificial Intelligence and Applications
VSTTE 2017   9th Working Conference on Verified Software: Theories, Tools, and Experiments
RV 2017   The 17th International Conference on Runtime Verification