Error message
- Deprecated function: TYPO3\PharStreamWrapper\Manager::initialize(): Implicitly marking parameter $resolver as nullable is deprecated, the explicit nullable type must be used instead in include_once() (line 19 of includes/file.phar.inc).
- Deprecated function: TYPO3\PharStreamWrapper\Manager::initialize(): Implicitly marking parameter $collection as nullable is deprecated, the explicit nullable type must be used instead in include_once() (line 19 of includes/file.phar.inc).
- Deprecated function: TYPO3\PharStreamWrapper\Manager::__construct(): Implicitly marking parameter $resolver as nullable is deprecated, the explicit nullable type must be used instead in include_once() (line 19 of includes/file.phar.inc).
- Deprecated function: TYPO3\PharStreamWrapper\Manager::__construct(): Implicitly marking parameter $collection as nullable is deprecated, the explicit nullable type must be used instead in include_once() (line 19 of includes/file.phar.inc).
- Deprecated function: UpdateQuery::expression(): Implicitly marking parameter $arguments as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
- Deprecated function: MergeQuery::expression(): Implicitly marking parameter $arguments as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
2nd Workshop on Quantum Software 2025
Current quantum programming tools are still in the early stages,
limiting the development of complex quantum software systems. Key
objectives include defining high-level programming languages with
machine-independent syntax and semantics, creating a structured
methodology for translating programs to run on quantum computers and
developing formal methods for program analysis and compiler
optimization. The term “quantum software” encompasses all levels of the
quantum computing stack, from algorithm creation to hardware
development, enabling the implementation and execution of quantum
algorithms on quantum hardware.
This workshop aims to gather researchers and experts to discuss new
ideas as well as the most significant directions of research in quantum
software, with a special focus on:
- quantum language design and implementation
- quantum program analysis and verification
- quantum software engineering
- quantum computer architecture
- quantum circuit optimization
- quantum hardware-software interface
- quantum assembler
