Le pizza-mètre a encore frappé. #timingleak www.leparisien.fr/internationa...

SynCoP 2025 (10th International Workshop on Synthesis of Complex Parameters) 25th August 2025 (Aarhus 🇩🇰) Call for informal presentations ⌛️ Submission deadline: 30 June 2025 📥 Notification: 7 July 2025 lipn.univ-paris13.fr/SynCoP2025/

Le LIP6 a rejoint BlueSky ! Unité mixte de recherche de @sorbonne-universite.fr et du @cnrs.fr, notre laboratoire d'informatique s'intéresse à l'IA, au calcul formel, aux systèmes/réseaux, à la sécurité informatique, l'électronique, l'information quantique... Suivez-nous ! #helloESR 👋

Excellente journée avec le PEPR #DefMal pour évoquer l'écosystème des malware. pepr-defmal.loria.fr/fr/atelier-s...

👏 Toutes nos félicitations à Dylan Marinho et Esteban Marquer, anciens doctorants du Loria, tous deux lauréats du Prix de thèse de l’Académie Lorraine des Sciences (ALS) ! 👉 www.loria.fr/fr/2025/01/d... @univlorraine.bsky.social @cnrsinformatics.bsky.social #Inria @etienneandre.bsky.social

Quand les étudiants/étudiantes font preuve de créativité pendant un cours sur les automates. Saurez vous retrouver l'exercice dont il s'agit ?

Félicitations à @dylanmsu.bsky.social , que j'ai eu l'honneur d'encadrer au LORIA @univlorraine.bsky.social, pour le prix de l’Académie Lorraine des Sciences pour sa thèse de doctorat ! www.loria.fr/fr/2025/01/d...

Paper "Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets" (by Béchennec, Chattopadhyay, Faucou, Lime, @dylanmsu.bsky.social, Roux, Sun and myself) accepted for presentation at SAC 2025 🇮🇹 Final outcome of ANR-NRF 🇫🇷 🇸🇬 ProMiS 🤓 sac-svt.github.io/sac-svt-2025/