10/03/2026
14:00 : Observation Petri nets
Chana Weil-Kennedy (CEA LIST)
We study a communication feature of distributed systems called observation, in which an agent of the system changes states upon observation of another agent - this is a case of weak synchronization, present for example in mobile sensor networks. We study the class of observation …
Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris
Chana Weil-Kennedy (CEA LIST)
We study a communication feature of distributed systems called observation, in which an agent of the system changes states upon observation of another agent - this is a case of weak synchronization, present for example in mobile sensor networks. We study the class of observation …
Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris
17/03/2026
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
20/03/2026
14: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 …
03/04/2026
14: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 …
26/05/2026
14: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
