From informatics to quantum informatics
| Authors | |
|---|---|
| Year of publication | 2006 |
| Type | Article in Proceedings |
| Conference | Proceedings of the Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006 at the World Computer Congress |
| MU Faculty or unit | |
| Citation | |
| Field | Informatics |
| Keywords | Quantum computing; |
| Description | The main goal is to demonstrate the emergence of quantum informatics, as of a very fundamental, deep and broad science, its outcomes and especially its main new fascinating challenges, from informatics and physics point of view. Especially challenges in the search for new primitives, computation modes, new quality concerning efficiency and feasibility of computation and communication, new quality concerning quantum cryptographic protocols in a broad sense and also in a very new and promising area of quantum formal systems for programming, semantics, reasoning and verification. |
| Related projects: |