Agenda

Département
Langue
Date
Thématique

Aucun évènement

Voici les prochains

2026

janvier

  • 13:00
    14:00

    Active automata learning infers automaton models of systems from behavioral observations, a technique successfully applied to a wide range of domains. Compositional approaches for concurrent systems have recently emerged. This talk presents a new framework allowing to take a significant step beyond available results and develop a general technique for compositional learning of a synchronizing parallel system with an unknown decomposition. The approach automatically refines the global alphabet into component alphabets while learning the component models. It is based on the development of a theoretical treatment of distributions of alphabets, i.e., sets of possibly overlapping component alphabets. This allows to characterize counter-examples that reveal inconsistencies with global observations, and show how to systematically update the distribution to restore consistency. Based on this theory, a compositional learning algorithm implementing these ideas is presented, where learning counterexamples precisely correspond to distribution counterexamples under well-defined conditions.Finally, some experiments are presented, showing that in more than 630 subject systems, the implementation of this new algorithm delivers orders of magnitude improvements (up to five orders) in membership queries and in systems with significant concurrency, it also achieves better scalability in the number of equivalence queries.

    Français
    LaBRI, salle 178
  • 10:45
    11:45

    On "Scalable Quantum Simulations of Scattering in Scalar Field Theory on 120 Qubits" by Nikita A. Zemlevskiy

    https://combalgo.labri.fr/pmwiki.php/Groupe/Info-Quantique

    Français
    Room 178
  • 10:30
    18:00

    10:00 - 10:30: Welcome Coffee
    10:30 - 11:15 (Opening Talk): Matthieu Saubanère (CNRS & LOMA), Quantum Krylov algorithms for the many electrons problem
    11:15 - 11:40: Sacha Cerf (ENS), Introducing differential geometric tools to study quantum correlations
    11:40 - 12:05: Shashaank Khanna (LIS), Closing the problem of which causal structures of up to six total nodes have a classical–quantum gap
    12:05 - 12:30: Idris Delsol (ENS & Inria Lyon), Computational aspects of the trace norm contraction coefficient
    12:30 - 13:45: Lunch Break
    13:45 - 14:10: Rémi Di Guardia (IRIF), Semantics and types for quantum Bayesian networks
    14:10 - 14:35: Thomas Perez (Inria Saclay), Categorical aspects of fermionic systems and application to fermionic computation rewrites
    14:35 - 15:00: Thomas Vinet (Inria Nancy), Resource-aware hybrid quantum programming with general recursion and quantum control
    15:00 - 15:25: Kathleen Barsse (LORIA), A quantum programming language for coherent control
    15:25 - 16:00: Coffee Break
    16:00 - 16:25: Mathias Boucher (Inria Rennes), Almost improving quantum lattice sieving
    16:25 - 16:50: Aurel Pichollet-Mugnier (Inria Rennes), Quantum truncated differential attacks using convolutions
    16:50 - 17:15: Agathe Blanvillain (Inria Paris), The quantum decoding problem: tight achievability bounds and application to Regev’s reduction
    17:15 - 17:40: Bruno Costa Alves Freire (Inria Paris), Quantum Maxwell decoder for CSS codes
    17:40 - 18:00: Business Meeting of the GT IQ

    https://combalgo.labri.fr/pmwiki.php/Groupe/Info-Quantique

    Français
    Amphi
  • 09:00
    17:30

    9:00 - 9:30: Welcome Coffee
    9:30 - 10:15 (Opening Talk): Marc Baboulin (Inria & Université Paris-Saclay), Toward quantum-accelerated high-performance computing
    10:15 - 10:40: Silvina Caino Lores (Inria Rennes), TBA
    10:40 - 11:05: Océane Koska (Eviden & Université Paris-Saclay), From NISQ to hybrid computing
    11:05 - 11:30: Coffee Break
    11:30 - 11:55: Rafael Ferreira da Silva (Oak Ridge National Laboratory), Enabling quantum-HPC convergence for future scientific workflows
    11:55 - 12:20: Elise Fressart (Thalès & École Polytechnique), Adaptive mesh refinement quantum algorithm for Maxwell’s equations
    12:20 - 12:40: Jules Duhamel (EPFL & SNCF), Quantum algorithms for train crew scheduling optimization
    12:40 - 14:00: Lunch Break
    14:00 - 14:25: Bo Yang (LIP6), Verifiable blind observable estimation
    14:25 - 14:50: Pierre Botteron (ENS & Inria Lyon), Quantum unclonable cryptography: does the unclonable bit exist?
    14:50 - 15:15: Denis Rochette (Inria Saclay), Optimal untelegraphable encryption and implications for uncloneable encryption
    15:15 - 15:45: Coffee Break
    15:45 - 16:10: Joseph Cunningham (LaBRI), Poisson-distributed discrete adiabatic dynamics
    16:10 - 16:35: Rachel Roux (MBDA), Investigating the use of the discrete quantum walk to solve combinatorial optimization problems
    16:35 - 17:00: Xiaoyu Sun (LIS), On quantum perceptron learning via quantum search
    17:00 - 17:25: Benjamin Mathieu-Bloise (IRIF), Complexity of computations on simplicial complexes in quantum logspace

    https://combalgo.labri.fr/pmwiki.php/Groupe/Info-Quantique

    Français
    Amphi
  • 14:00
    15:00

    Résumé : Cette présentation porte sur l’usage des ontologies comme outils de modélisation pour la gestion et l’exploitation des connaissances dans des systèmes complexes. Elle introduit les ontologies et met en évidence leur articulation avec des approches d’IA statistique et hybride afin de renforcer la cohérence, l’interprétabilité et la robustesse des modèles. Les travaux présentés sont illustrés par des applications dans les domaines de la mobilité, des systèmes ferroviaires et des systèmes industriels, où les ontologies jouent un rôle central pour la modélisation sémantique, la détection de situations complexes et l’aide à la décision.

    Français
    LaBRI

février