March 27, 2020, Porto - Portugal

Q-VV 2020

The 1st Workshop on Verification & Validation of Quantum Applications (Q-VV 2020)

co-located with ICST 2020

Quantum computers promise to solve unthinkably complex problems that traditional computers could ever solve. Currently, the interest in quantum computing is growing, and top-tech companies, such as Microsoft, IBM, and D-Wave are investing efforts to build quantum computing platforms, i.e., Microsoft Quantum computing platform, IBM Quantum Experience, and D-Wave’s platform respectively.

As quantum computing becomes more and more pervasive, there is also the urging need of software engineers to look into defining a set of best practices that are well suited to quantum software applications. One area where such best practices and techniques is needed is in the challenging area of software verification and validation.

The aim of this workshop is to provide a stimulating platform where researchers and industrialists can come together and discuss the challenges associated with testing such software as well as devise the next state-of-the-art solutions to quantum verification and validation.

Program

To be announced. The program will include an exciting keynote speaker! Stay tuned.

Call for Papers

Topics of Interest

We solicit original submissions on quantum software testing and validation, including the following topics from the testing and validation perspective:
• Paradigms for developing quantum software
• Quantum software design
• Quantum software coding practices
• Quantum software experimentations
• Quantum software execution
• Industrial applications
• Empirical evaluations

Paper Submission

Three types of papers can be submitted to the workshop, in addition to European/National Projects Presentations:
- Full papers (10 pages): Full research reporting new ideas with proper validation. Papers reporting extensive empirical evaluations on the above-mentioned topics are also welcomed.
- Short papers (6 pages): Research in progress, tools, experience reports, new ideas, applications and lessons learned in industry.
- Fast Abstracts (1-2 pages): Extended abstracts discussing an important testing problem either in industry or academia, any solution to the identified problem, discussion and open research questions.
- Industrial challenges with real-world quantum testing (6 pages): describe a real-world software testing problem for which industry seeks help from academia or vice versa.

Submission Link: https://easychair.org/conferences/?conf=qvv2020

Each paper must conform to the two columns IEEE conference publication format (http://www.computer.org/portal/web/cscps/formatting) and must be submitted in PDF. Submissions will be evaluated according to the relevance and originality of the work and to their ability to generate discussions between the participants of the workshop.Three reviewers will review each paper and all the accepted papers will be published as part of the ICST proceedings.

The workshop will have the best paper award, which will be announced and bestowed at the workshop closing session.

Organization

Program Chairs

Shaukat Ali, Simula Research Laboratory, Norway
Rui Abreu, Instituto Superior Técnico (IST) of the University of Lisbon, Portugal

Program Committee

Andriy Miranskyy , Department of Computer Science, Ryerson University, Canada
Diego Moreda Rodríguez, IBM
Anila Mjeda , Lero, Ireland
Paolo Arcaini , National Institute of Informatics, Japan
Chetan Arora , University of Luxembourg, Luxembourg
Anastasia Marchenkova , Bleximo
Tao Yue , Simula Research Laboratory, Norway and Nanjing University of Aeronautics and Astronautics China
Chuck Easttom , Capitol Technology University, USA
Christophe Picard , Grenoble Institute of Technology, France
David White , The University of Sheffield, UK
Marco Pistoia , IBM, USA

Venue

As part of ICST 2020, the workshop will be held at Alfândega Porto Congress Centre.

Registration

Authors and participants must register through the main conference website: Registration for ICST 2020