posted by user: sadegh_rk || 579 views || tracked by 1 users: [display]

COOP 2022 : 3rd Workshop on Cooperative Software Verification

FacebookTwitterLinkedInGoogle

Link: https://coop.sosy-lab.org/2022/
 
When Apr 3, 2022 - Apr 3, 2022
Where virtual
Submission Deadline Feb 15, 2022
Notification Due Mar 1, 2022
Final Version Due Mar 1, 2022
Categories    verification   formal methods   software testing
 

Call For Papers

Scope of Workshop

Cooperative software verification aims at increasing the effectiveness of verification by having different verifiers cooperate on a verification task. Cooperation might take the form of black-box combinations, exchanging information via externally stored data, or of tightly integrated white-box combinations. Such combinations might include different specific verification techniques as well as combinations of verification with testing or other means of software analysis. Possible topics of the workshop are:

Combining testing and verification
Combining theorem proving and testing or verification
Selection of components in a cooperative verification
Interfaces and exchange formats
Modularization of existing approaches
Portfolio approaches
Languages for specifying cooperation

Call for Abstracts

We welcome all sorts of talks, ranging from new ideas over work in progress to mature (possibly already published) approaches. The main objective of the workshop is to discuss ideas for cooperative verification. There will be no proceedings. Researchers wishing to give a talk should submit a short abstract (of length between half a page and 2 pages) at Easychair. The abstracts will be reviewed with respect to their fit to the workshop topic.

Related Resources

IEEE ICICSE 2023   IEEE--2023 the 3rd International Conference on Information Communication and Software Engineering (ICICSE 2023)
TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ACM ICHMI 2023   ACM--2023 3rd International Conference on Human–Machine Interaction (ICHMI 2023)
OVERLAY 2022   4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
IEEE CCAI 2023   IEEE--2023 3rd International Conference on Computer Communication and Artificial Intelligence (CCAI 2023)
FTSCS 2022   8th International Workshop on Formal Techniques for Safety-Critical Systems
ICICSE 2023   IEEE--2023 the 3rd International Conference on Information Communication and Software Engineering (ICICSE 2023)
NLPTT 2022   3rd International Conference on NLP Trends & Technologies
IEEE ICCCR 2023   IEEE--2023 3rd International Conference on Computer, Control and Robotics (ICCCR 2023)
EAI TRIDENTCOM 2022   17th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies