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/