In the spotlight
Colloquium :
Compilation vérifiée : vers du logiciel zéro défaut
by Sandrine Blazy (Université de Rennes)
Tuesday, November 26, 2024 : 18:00
Amphi 25
Eleni Diamanti lauréate de la médaille de l'innovation du CNRS
Quelques mois après l’obtention de sa médaille d’argent CNRS, Eleni Diamanti, directrice de recherche au LIP6 (équipe QI), vient d’être annoncée parmi les trois lauréat(e)s de la Médaille de l’innovation 2024 du CNRS. Spécialiste des technologies quantiques, Eleni conçoit des réseaux de communication utilisant les photons comme transmetteurs d'information.
News
Quel est le lien ? Informatique et... Musique !
Jean-Pierre Briot, chercheur émérite au LIP6, nous donne un aperçu des interactions entre informatique et musique, avec l’aide de Nathan Fradet, chercheur au Metacreation Lab de Vancouver et ancien doctorant du LIP6, et Rens Baeyens, doctorant au Cosys-Lab de l’Université d’Anvers. En bref, ça parle d'IA générative et de systèmes cyber-physiques appliqués aux musiciens !
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 visant à développer les partenariats internationaux du laboratoire.
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.
Découvrez la technologie SyncLock 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, SyncLock vise à verrouiller 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 à l'IPMU'2024 qui s'est tenue au Portugal. Félicitations !
Research axes
Media
Prédire le comportement de programmes par «model checking»Agenda
LIP6 events
- 11/14/2024 - 10:00 : Seminar - APR
[ERC TORI] Challenges and Accomplishments of the "Full Field" Inference Method BORG (Bayesian Origin Reconstruction from Galaxies)
Guilhem Lavaux (Institut d'Astrophysique de Paris) - 11/14/2024 - 14:00 : Seminar - AID
Animation axe IA&SD - journée des doctorants
Doctorants LIP6