Dylan
banner
dylanmsu.bsky.social
Dylan
@dylanmsu.bsky.social
Associate Professor @ @sorbonne-universite.fr and @lip6.fr
Reposted by Dylan
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/
SynCoP 2025
10th International Workshop on Synthesis of Complex Parameters
lipn.univ-paris13.fr
June 11, 2025 at 3:32 PM
Reposted by Dylan
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 👋
March 12, 2025 at 1:45 PM
Excellente journée avec le PEPR #DefMal pour évoquer l'écosystème des malware.

pepr-defmal.loria.fr/fr/atelier-s...
March 12, 2025 at 5:00 PM
Reposted by Dylan
👏 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
January 31, 2025 at 8:37 AM
Quand les étudiants/étudiantes font preuve de créativité pendant un cours sur les automates. Saurez vous retrouver l'exercice dont il s'agit ?
January 31, 2025 at 6:10 PM
Reposted by Dylan
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...
Deux Prix de thèse de l’Académie Lorraine des Sciences
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). Dylan Marinho a soutenu sa thès...
www.loria.fr
January 30, 2025 at 8:15 AM
Reposted by Dylan
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/
SAC-SVT 2025
Symposium on Applied Computing, Software Verification and Testing Track, 2025
sac-svt.github.io
January 9, 2025 at 1:52 PM