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-20
2:00 下午 : 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/semi …
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/semi …
2026-4-3
2:00 下午 : 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/semi …
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/semi …
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
