Agenda
Aucun évènement
Voici les prochains
janvier
-
13:0014: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çaisLaBRI, salle 178 -
10:4511:45
On "Scalable Quantum Simulations of Scattering in Scalar Field Theory on 120 Qubits" by Nikita A. Zemlevskiy
FrançaisRoom 178 -
13:0014:00
TBA
FrançaisLaBRI, salle 178 -
10:3018: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 IQFrançaisAmphi -
09:0017: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 logspaceFrançaisAmphi -
14:0015: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çaisLaBRI