Accueil / Calendrier de conférences / Informatique / Théorie de l'information quantique et informatique quantique / Allemagne
Sujets apparentés
Discipline

Conférences  >  Informatique  >  Théorie de l'information quantique et informatique quantique  >  Allemagne

Sélecionner un pays
Virtuel (en ligne) (2)  Allemagne (2)
Allemagne
1
QMath16 — Mathematical results in quantum theory
01 sep 2025 - 05 sep 2025 • Munich, Allemagne
Organisateur:
Technical University of Munich
Résumé:
The conference series "Mathematical Results in Quantum Theory" brings together people interested in the mathematical theory of quantum mechanics. QMATH16 takes place on the Garching Research Campus of the Technical University of Munich.
Identifiant de l'évènement:
1634334
Sujets apparentés:
Physique mathématique,    Mécanique quantique et technologie quantique
Page web:
https://www.math.cit.tum.de/math/aktuelles-events/qmath16/
2
Dagstuhl-Seminar — Formal Analysis and Verification in Quantum Programming Languages
08 mar 2026 - 13 mar 2026 • Schloss Dagstuhl, Allemagne
Organisateur:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH
Résumé:
Recent years have seen the emergence of a number of research groups that aim to advance quantum computing and to develop a skilled quantum software workforce. A particular challenge that must be overcome for safe quantum computing at scale is the creation of robust, expressive, efficient, and tractable formal verification tools. Since there is currently no event dedicated to this pursuit, the first goal of this Dagstuhl Seminar is to bring together a dedicated community of researchers in a single venue. This will give participants an opportunity to identify and discuss the most pressing challenges and promising directions for quantum programming and verification.
Identifiant de l'évènement:
1671264
Sujets apparentés:
Génie logiciel
Page web:
https://www.dagstuhl.de/26111


Conference-Service.com met à la disposition de ses visiteurs des listes de conférences et réunions dans le domaine scientifique. Ces listes sont publiées pour le bénéfice des personnes qui cherchent une conférence, mais aussi, bien sûr, pour celui des organisateurs. Noter que, malgré tout le soin que nous apportons à la vérification des données entrées dans nos listes, nous ne pouvons accepter de responsabilité en ce qui concerne leur exactitude ou étendue. Pensez donc à vérifier les informations présentées avec les organisateurs de la conférence ou de la réunion avant de vous engager à y participer!

Y'a pas de suivi | Y'a pas de pop-ups | Y'a pas d'animations
Dernière mise à jour: 27 juillet 2025