Français Anglais
Accueil Annuaire Plan du site
Accueil > Evenements > Séminaires
Séminaire d'équipe(s) ParSys VALS
Quantum at LRI


04 February 2020, 09h00 - 04 February 2020, 12h30
Salle/Bat : 465/PCRI-N
Contact :

Activités de recherche : Calcul quantique

Résumé :
This half-day seminar aims at presenting the current research at LRI on quantum computing and quantum programming. 2 PhD students and 5 postdocs will present their work via short presentations, accessible to non-specialists.

If you are interested in the subject, or just curious, you are very welcome to attend. Below is the program.

Program:
9:00-9:25: Qbricks : formal verification in quantum computing, by Christophe Chareton (VALS).

9:30-9:55: Aspects of error correction in Quantum Computing, by Jean-Baptiste Latre (ParSys).

10:00-10:25: Sum-Over-Paths as a Category, and its Completeness for Clifford, by Renaud Vilmart (VALS).

10:30-10:55: Syndrome decoding problem for CNOT circuits synthesis on NISQ architectures, by Timothée Goubault de Brugière (ParSys).

11:00-11:25: Including classical and inductive data types in a programming language for quantum channels, by Dong-Ho Lee (VALS).

11:30-11:55: Quantum walks in external gauge fields, by Christopher Cedzich (ParSys).

12:00-12:25: Reasoning about recursive quantum programs, by Zhaowei Xu (VALS).

Pour en savoir plus :
Séminaires
Heterogeneous Treatment Effects Estimation: When M
Raisonnement automatique
Thursday 02 June 2022 - 10h30
Salle : 2011 - DIG-Moulon
Naoufal Acharki .............................................

Witness Generation for JSON Schema
Langages et systèmes centrés données
Monday 30 May 2022 - 00h00
Salle : 455 - PCRI-N
Mohamed-Amine BAAZIZI .............................................

TUTORIAL CODALAB - Apprenez à organiser un challen
Wednesday 13 April 2022 - 00h00
Salle : 1 - DIG-Moulon
Adrien Pavao .............................................

Generative Neural Networks for Observational Causa
Raisonnement automatique
Thursday 07 April 2022 - 10h30
Salle : 2011 - DIG-Moulon
Diviyan Kalainathan .............................................

Datamining in Epi- and Phylogenetics
Tuesday 15 March 2022 - 11h00
Salle : 455 - PCRI-N
Thomas Haschka .............................................