Reposted by DylanÉtienne André @etienneandre.bsky.social · 17/06/2025Le pizza-mètre a encore frappé. #timingleak www.leparisien.fr/internationa...leparisien.fr« Pentagon Pizza Meter » : quand les commandes de pizzas du Pentagone annoncent une frappe militaireAux États-Unis, une théorie populaire lie les commandes massives de pizzas autour du Pentagone aux opérations militaires imminentes. Ce phén 011
Reposted by DylanÉtienne André @etienneandre.bsky.social · 11/06/2025SynCoP 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/lipn.univ-paris13.frSynCoP 202510th International Workshop on Synthesis of Complex Parameters 001
Reposted by DylanLIP6 @lip6.fr · 12/03/2025Le 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 👋 1135
Dylan @dylanmsu.bsky.social · 12/03/2025Excellente journée avec le PEPR #DefMal pour évoquer l'écosystème des malware. pepr-defmal.loria.fr/fr/atelier-s... 000
Reposted by DylanLoria @labo-loria.bsky.social · 31/01/2025👏 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 012
Dylan @dylanmsu.bsky.social · 31/01/2025Quand les étudiants/étudiantes font preuve de créativité pendant un cours sur les automates. Saurez vous retrouver l'exercice dont il s'agit ? 000
Reposted by DylanÉtienne André @etienneandre.bsky.social · 30/01/2025Fé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...loria.frDeux Prix de thèse de l’Académie Lorraine des SciencesToutes 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). Dylan Marinho a soutenu sa thès... 021
Reposted by DylanÉtienne André @etienneandre.bsky.social · 09/01/2025Paper "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/sac-svt.github.ioSAC-SVT 2025Symposium on Applied Computing, Software Verification and Testing Track, 2025 001
