Réunion du 6 juin 2019

La rencontre SoftQPro du jeudi 6 juin 2019 a eu lieu à Nano-Innov (Palaiseau). Le planning prévionnel de la journée était comme suit. Suite à un test d’alerte sur le site, les horaires ont été un peu chamboulées, mais tous les exposés ont néanmoins pu avoir lieu.

9h30-10h15

Accueil

10h15-11h05

Présentations du partenaire CEA

• Christophe Chareton, Formalization of the Semantics of Quantum
  Programming Languages
• Dong-Ho Lee, Toward certified quantum programming [slides]

11h10-12h00

Présentations du partenaire Loria

• Vladimir Zamdzhiev, Quantum Programming with Inductive Datatypes:
  Causality and Affine Type Theory [slides]
• Titouan Carette, Scalable Graphical Quantum Reasoning [slides]

12h00-13h30

Repas sur place

13h30-14h15

Présentation du partenaire ATOS/BULL

• Simon Martiel

14h15-14h45

Présentation du partenaire LRI

• Timothée Goubault de Brugière, Numerical verification of lower bounds in
  trapped-ions quantum circuits synthesis [slides]

14h45-15h15

pause

15h15-15h35

Exposé invité : Daniel Vert, On the limitations of the Chimera graph topology in
using analog quantum computers [slides]

15h35-16h45

Discussions

17h30

fin de la réunion