2026-3-17
11:00 上午 : Compiling Higher-Order Bayesian Networks
Gabriele Vanoni (IRIF, Université Paris Cité)
A fascinating connection has recently been exposed [Low et al. 2014] between quantum circuits and Bayesian Networks [Pearl 1988], the latter being a prominent tool for probabilistic reasoning. Such a line of research exploits the power of quantum computing to accelerate Bayesian …
Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris
Gabriele Vanoni (IRIF, Université Paris Cité)
A fascinating connection has recently been exposed [Low et al. 2014] between quantum circuits and Bayesian Networks [Pearl 1988], the latter being a prominent tool for probabilistic reasoning. Such a line of research exploits the power of quantum computing to accelerate Bayesian …
Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris
2026-3-19
2:00 下午 : SideSeeing : acquisition et analyse de données urbaines multimodales à partir de capteurs mobiles
Roberto MARCONDES CESAR JR.
Ce séminaire présente SideSeeing, une plateforme d’acquisition de données urbaines basée sur des smartphones portés par des piétons. Le système combine vidéo, audio, GPS et capteurs inertiels afin d’observer l’environnement urbain en conditions réelles. Les données permettent de …
Campus Pierre et Marie Curie, LIP6, salle n°405, couloir 24-25, 4e étage (accès par la tour 24)
https://lfi.lip6.fr/seminaires/
Roberto MARCONDES CESAR JR.
Ce séminaire présente SideSeeing, une plateforme d’acquisition de données urbaines basée sur des smartphones portés par des piétons. Le système combine vidéo, audio, GPS et capteurs inertiels afin d’observer l’environnement urbain en conditions réelles. Les données permettent de …
Campus Pierre et Marie Curie, LIP6, salle n°405, couloir 24-25, 4e étage (accès par la tour 24)
https://lfi.lip6.fr/seminaires/
2026-3-20
2:00 下午 : [Séminaire MoVe] Approches formelles pour la modélisation, le contrôle, l’analyse de performances, la reconfiguration et la cybersécurité des systèmes à événements discrets.
Said Amari (Université Sorbonne Paris Nord, IUT de Saint-Denis)
Ce séminaire présente des travaux portant sur le développement d’approches formelles centralisées, modulaires et distribuées pour la modélisation, le contrôle, l’analyse des performances, la reconfiguration et la cybersécurité des systèmes à événements discrets. Ces travaux s’app …
Campus Pierre et Marie Curie, salle 24-25/405
https://perso.lip6.fr/Dylan.Marinho/seminar
Said Amari (Université Sorbonne Paris Nord, IUT de Saint-Denis)
Ce séminaire présente des travaux portant sur le développement d’approches formelles centralisées, modulaires et distribuées pour la modélisation, le contrôle, l’analyse des performances, la reconfiguration et la cybersécurité des systèmes à événements discrets. Ces travaux s’app …
Campus Pierre et Marie Curie, salle 24-25/405
https://perso.lip6.fr/Dylan.Marinho/seminar
2026-3-24
11:00 上午 : Towards Reliable and Efficient Numerical Code through Sound Optimizations
Anastasia Isychev (TU Wien)
Numerical software is notoriously difficult to get right. Finite-precision computations do not follow real-valued arithmetic rules and can therefore exhibit unintended behavior, in particular, due to rounding errors. Finding an implementation that is not only accurate but also ef …
Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris
Anastasia Isychev (TU Wien)
Numerical software is notoriously difficult to get right. Finite-precision computations do not follow real-valued arithmetic rules and can therefore exhibit unintended behavior, in particular, due to rounding errors. Finding an implementation that is not only accurate but also ef …
Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris
2026-4-3
2:00 下午 : [Séminaire MoVe] Five Structural Problems of Large-Scale Software in Industry
Emmanuel Zarpas (MoVe, LIP6)
Large software systems developed in corporations face recurring difficulties that are not isolated defects but structural properties. This talk discusses five such constraints observed in industrial environments: coordination across large teams, process overhead and certification …
Campus Pierre et Marie Curie, 24-25/405
https://perso.lip6.fr/Dylan.Marinho/seminar
Emmanuel Zarpas (MoVe, LIP6)
Large software systems developed in corporations face recurring difficulties that are not isolated defects but structural properties. This talk discusses five such constraints observed in industrial environments: coordination across large teams, process overhead and certification …
Campus Pierre et Marie Curie, 24-25/405
https://perso.lip6.fr/Dylan.Marinho/seminar
2026-5-26
2:00 下午 : Séminaire pour les Doctorants du LIP6 - Carrière académique
Fabrice KORDON
Campus Pierre et Marie Curie, salle Jacques Pitrat (25-26/105)
Fabrice KORDON
Campus Pierre et Marie Curie, salle Jacques Pitrat (25-26/105)
Celebrate “75 years of computer science in France”
From CNRS Institut Blaise Pascal to LIP6
