Journées Informatique Quantique 2019
28 et 29 novembre 2019 - Besançon
Les Journées Informatique Quantique sont organisées par le groupe de travail Informatique Quantique (GT_IQ) du GdR IM du CNRS. Elles se dérouleront à l’institut FEMTO-ST à Besançon.
Présentation
Les Journées Informatique Quantique ont pour but de rassembler la communauté travaillant dans les différents domaines que recouvre l’informatique quantique. Une série d’exposés permettra de prendre connaissance des travaux des participants. Les jeunes chercheurs, tout particulièrement les doctorants et post-doctorants, sont vivement encouragés à présenter leurs résultats récents ou travaux en cours.
Soumission et inscription
L’inscription est gratuite mais obligatoire, avant le 13 novembre 2019.
L’inscription se fait sur le formulaire suivant : https://forms.gle/DDh37Wy97u7jRGPD7
Dates importantes
- 23 octobre : date limite de soumission.
- 6 novembre: notifications d’acceptation.
- 13 novembre : date limite d’inscription.
- 28 et 29 novembre : journées informatique quantique à FEMTO-ST
Programme
Jeudi 28 novembre (amphi Gagnepain)
12.00 Lunch
Afternoon session: Programs, entanglement and contextuality
14.00 Mladen Pavičić (CEMS, Croatia). Hypergraph-Based Contextuality (abstract,slides), invited talk
15.00 Jessy Colonval (FEMTO-ST, UFC). Methods and programs for the generation of contextual finite geometries (abstract,slides)
15.30 Henri de Boutray (FEMTO-ST, UFC). Quantitative estimation of the evolution of entanglement in the Grover algorithm (abstract,slides)
16.00 Coffee break
16.30 Hamza Jaffali (FEMTO-ST, UTBM). Learning Algebraic Models of Quantum Entanglement (abstract,slides)
17.00 Marc Bataille (LITIS). Optimisation de circuits quantiques composés de portes c − Z et SWAP (abstract,slides)
Vendredi 29 novembre (amphi Gagnepain)
09.00 Alexandre Clément (LORIA). A graphical language for beam splitters (abstract,slides)
09.30 Titouan Carette (LORIA). SZX: scalable graphical calculus (abstract,slides)
10.00 Dong-Ho Lee (CEA LIST, LRI). Formalization of a Programming Language for Quantum Circuits with Measurement and Classical Control (abstract,slides)
10.30 Coffee break
11.00 Christophe Chareton (CEA LIST). Qbricks, un environnement noyau pour la vérification de programmes quantiques (abstract,slides)
11.30 Vladimir Zamdzhiev (LORIA, CNRS). Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory (abstract,slides)
12.00 Lunch
Afternoon: open ANR I-QUINS (Integrated QUantum Information at the NanoScale) project meeting
14.00 Ion Nechita (LPT). Quantum de Finetti theorems and Reznick’s Positivstellensatz (slides), invited talk
15.00 Quentin Ansel (UTINAM). Generating non-classical states of spins coupled to a cavity by optimal collective fields (abstract,slides), invited talk
16.00 Coffee break
16.30 Open discussions
Informations pratiques
Les journées se dérouleront sur le site TEMIS de l’institut FEMTO-ST, 15B avenue des Montboucons à Besançon, dans l’amphi Gagnepain.
Comment venir à FEMTO-ST ?/How to come to FEMTO-ST?
Où se loger ?
Près du site TEMIS (à 5 minutes de marche, mais à 20 minutes en bus du centre-ville)
Près de la gare à côté du centre-ville (à 10 minutes du site TEMIS, à 10 minutes à pied du centre-ville)
Centre-ville (20 minutes en bus du site TEMIS)
- Hotel du Nord
- Hotel de Paris
- Hotel Granvelle - Best Western Citadelle
- Hotel Ibis Besançon centre ville
- Hotel Mercure
Here is an additional selection of hotels you might be interested in:
https://www.besancon-tourisme.com/fr/sejourner/hotels.html
Organisateurs
Henri de Boutray, Alain Giorgetti, Frédéric Holweck et Pierre-Alain Masson.
Contact
pierre-alain.masson[at]femto-st.fr
