Actualités
Retour sur la Journée Annuelle du Labo 2024
Le 15 octobre dernier, le LIP6 a célébré sa Journée Annuelle sur le Campus des Cordeliers de Sorbonne Université. Environ 150 personnes sont venues assister aux présentations. Merci à eux et à tous nos orateurs ! (Plus d'infos et photos en cliquant ici...)
Une délégation LIP6 en visite au Canada !
Composée d'Aurélie Beynier, Olivier Fourmaux, Fabrice Kordon et Vanda Luengo, une délégation LIP6 s’est tout récemment déplacée au Canada pour une série de visites à Québec et Montréal.
Distinguished Paper Award reçu à ISSAC 2024
Membre de l'équipe PolSys, Vincent Neiger s'est vu récompensé par un Distinguished Paper Award lors de l'ISSAC 2024, la conférence phare du domaine du calcul formel, qui s'est déroulée cet été en Caroline du Nord, aux USA.
Distinguished Paper Award reçu à IJCAI 2024
Membres de l'équipe Décision, Margot Herin (LIP6), Patrice Perny (LIP6), et leur collègue Nataliya Sokolovska (LCQB), se sont vus décerner le Distinguished Paper Award lors de la 33ème International Joint Conference on Artificial Intelligence (IJCAI) qui s'est tenue le 8 août à Jeju, en Corée du Sud.
Découvrez la technologie SynchLock de l’équipe CIAN
Le projet SyncLock a récemment été mis en lumière par CNRS Innovation. Mis au point par Alán Díaz Rizo, Hassan Aboushady et Haralampos Stratigopoulos - trois chercheurs au sein de l’équipe CIAN - SyncLock vise à vérouiller les puces électroniques de communication sans fil pour empêcher le vol de données ou le piratage lors de leur fabrication.
Best Paper Award reçu à IPMU'2024
Quelques semaines après avoir obtenu un Best Paper Award lors de l’IIEEE International Conference on Fuzzy Systems 2024, les professeur(e)s Agnès Rico et Christophe Marsala viennent de voir un second papier récompensé fin juillet. Félicitations !
Axes de recherches
Médias
Prédire le comportement de programmes par «model checking»Agenda
Soutenances de thèse
- 25/10/2024 - 14 h : MOHR Rafael
Algorithmes de base de Gröbner au service de la décomposition des ensembles algébriques
Campus Pierre et Marie Curie, salle Jacques Pitrat (25-26/105)
Évènements
- 24/10/2024 - 14 h : Community detection in directed graphs using stationary distribution and hitting times methods
PHAN Thi Ha Duong (Institute of Mathematics Vietnam Academy of Science and Technology)