À la une
Colloquium :
Compilation vérifiée : vers du logiciel zéro défaut
par Sandrine Blazy (Université de Rennes)
Mardi 26 novembre 2024 : 18 h
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.
Actualités
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, ancien doctorant du LIP6, et Rens Baeyens, doctorant au Cosys-Lab de l’Université d’Anvers.
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. La conférence s'est déroulée cet été, du 16 au 19 juillet, à Raleigh en Caroline du Nord, aux USA. Félicitations !
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 !
Axes de recherches
Médias
Prédire le comportement de programmes par «model checking»Agenda
Soutenances de thèse
- 25/11/2024 - 14 h : SYLVESTRE Loic
Programmation sûre, expressive et efficace de circuits FPGA
Campus Pierre et Marie Curie, Salle de réunion de l'UFR d'Ingénierie (55-65/211)
Évènements
- 21/11/2024 - 14 h : Séminaire - LFI
Systèmes artificiels et conscience
Bernadette BOUCHON-MEUNIER (CNRS-Sorbonne Université, LIP6) - 06/12/2024 - 9 h : Séminaire - LIP6
Hackaton Tech for Humanity