IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools
COOP 2022 : 3rd Workshop on Cooperative Software Verification
COOP 2022 : 3rd Workshop on Cooperative Software Verification

COOP 2022 : 3rd Workshop on Cooperative Software Verification

virtual
Event Date: April 03, 2022 - April 03, 2022
Submission Deadline: February 15, 2022
Notification of Acceptance: March 01, 2022
Camera Ready Version Due: March 01, 2022




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.


Summary

COOP 2022 : 3rd Workshop on Cooperative Software Verification will take place in virtual. It’s a 1 day event starting on Apr 3, 2022 (Sunday) and will be winded up on Apr 3, 2022 (Sunday).

COOP 2022 falls under the following areas: VERIFICATION, FORMAL METHODS, SOFTWARE TESTING, etc. Submissions for this Workshop can be made by Feb 15, 2022. Authors can expect the result of submission by Mar 1, 2022. Upon acceptance, authors should submit the final version of the manuscript on or before Mar 1, 2022 to the official website of the Workshop.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the COOP 2022

  • Short Name: COOP 2022
  • Full Name: 3rd Workshop on Cooperative Software Verification
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of COOP 2022
  • Event Type: Workshop
  • Website Link: https://coop.sosy-lab.org/2022/
  • Location/Address: virtual


Credits and Sources

[1] COOP 2022 : 3rd Workshop on Cooperative Software Verification


Check other Conferences, Workshops, Seminars, and Events


OTHER VERIFICATION EVENTS

SBMF 2025: 28th Brazilian Symposium on Formal Methods
Recife, Brazil
Dec 3, 2025
AREA 2024: 4th Workshop on Agents and Robots for reliable Engineered Autonomy
Santiago de Compostela
Oct 19, 2024
LearnAut 2024: Learning and Automata
Tallinn, Estonia
Jul 7, 2024
SCID @ AsiaCCS 2024: 1st ACM workshop on Security-Centric Strategies for Combating Information Disorder
Singapore
Jul 1, 2024
SPIN 2024: 30th International Symposium on Model Checking Software
Luxembourg City
Apr 10, 2024
SHOW ALL

OTHER FORMAL METHODS EVENTS

MEMOCODE 2025: 23rd ACM/IEEE International Symposium on Formal Methods and Models for System Design (FMCPS) Deadline Extended (Final)
Taipei, Taiwan
Oct 2, 2025
SBMF 2025: 28th Brazilian Symposium on Formal Methods
Recife, Brazil
Dec 3, 2025
MEMOCODE 2025: 23rd ACM/IEEE International Symposium on Formal Methods and Models for System Design (FMCPS)
Taipei, Taiwan
Oct 2, 2025
FMAS 2025: 7th International Workshop on Formal Methods for Autonomous Systems
Paris
Nov 17, 2025
iFM 2025: 20th International Conference on Integrated Formal Methods
Paris, France
Nov 19, 2025
SHOW ALL

OTHER SOFTWARE TESTING EVENTS

TestEd 2024: 3rd Software Testing Education workshop
Toronto, Canada
May 28, 2024
ICST 2024: International Conference on Software Testing, Verification, and Validation
Toronto, Canada
May 27, 2024
InSTA 2024: 11th International Workshop on Software Test Architecture
Tronto, canada
May 28, 2024
SOENG 2024: 10th International Conference on Software Engineering
Sydney, Australia
Jun 22, 2024
DMSE 2024: 5th International Conference on Data Mining and Software Engineering
London, United Kingdom
Jul 27, 2024
SHOW ALL