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

FAVPQC 2022: International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols
TBD
Oct 24, 2022
OVERLAY 2022: 4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
Udine (Italy)
Nov 28, 2022
FAACS 2022: 6th International Workshop on Formal Approaches for Advanced Computing Systems
Prague, Czechia
Sep 19, 2022
ASYDE 2022: Automated and verifiable Software sYstem DEvelopment
Computer Science Humboldt Univ. Berlin
Sep 28, 2022
RP 2022: Reachability Problems
Kaiserslautern
Oct 17, 2022
SHOW ALL

OTHER FORMAL METHODS EVENTS

OVERLAY 2022: 4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
Udine (Italy)
Nov 28, 2022
F-IDE 2022: 7th Workshop on Formal Integrated Development Environment
Berlin, Germany
Sep 26, 2022
RL-CONFORM 2022: 2nd RL-CONFORM Workshop: Reinforcement Learning meets HRI, Control, and Formal Methods
Kyoto, Japan
Oct 23, 2022
SOFTPA 2022: International Conference on Emerging Practices in Software Process & Architecture
Sydney, Australia
Jun 18, 2022
TIME 2022: 29th International Symposium on Temporal Representation and Reasoning
online
Nov 7, 2022
SHOW ALL

OTHER SOFTWARE TESTING EVENTS

A-TEST 2022: 13th Workshop on Automating Test Case Design, Selection and Evaluation
Singapore
Nov 17, 2022
SOEN 2022: 7th International Conference on Software Engineering
London, United Kingdom
Jul 30, 2022
SBMF 2022: 25th Brazilian Symposium on Formal Methods
Aracaju, Brazil
Dec 5, 2022
AITest 2022: The IEEE Fourth International Conference On Artificial Intelligence Testing
San Francisco, USA
Aug 15, 2022
IEEE AITEST 2022: THE 4TH IEEE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE TESTING
San Francisco Bay Area
Aug 15, 2022
SHOW ALL