I developed a very simple calculator for estimating the carbon footprint of a (scientific) event 🍱☕️🚅: www.etienne-andre.fr/event-carbon... Data taken from @labos1point5.bsky.social + ADEME (see details in readme.md) ©️ Released under GPL-3.0 license. I'm happy to hear any feedback or suggestions 🌱

J'ai développé un calculateur très simple de l'impact carbone d'un événement 🍱☕️🚅 : www.etienne-andre.fr/event-carbon... Données de @labos1point5.bsky.social + ADEME (voir détails sur le README.md) C'est évidemment sous licence libre. Je suis preneur de tout retour ou suggestion d'améliorations 🌱

IMITATOR 3.4 “Cheese Durian” is out! 🧀🍍 Plenty of novelties, including: ✅ Extension of accepted formulas to the whole non-nested subset of TCTL — and more ✅ New sequential instructions ✅ User-defined function calls along transitions ✅ Local variable definitions www.imitator.fr

IMITATOR − Parameter synthesis for real-time systems

IMITATOR − A free software tool for parametric verification of real-time systems modeled using networks of parametric timed automata

imitator.fr

🔎 Looking for highly-motivated intern ⤵️ 🧑‍💻 Internship proposal at LS2N, @centralenantes.bsky.social ☀️, with Gaëtan Staquet and myself. 📝 Subject: Bounded model checking for energy-aware real-time systems 🧑‍🎓 Can be followed by a PhD. 📨 Feel free to email us! lipn.univ-paris13.fr/~andre/sujet...

I just compared ChatGPT (OpenAI), LeChat (Mistral) and Lumo (Proton), and an outcome is: they are equally sexist: for them, doctors, chemists, CEO, computer scientist and engineers are necessarily male jobs. 🤓

Two-sentence reviews are completely unacceptable. But, in case you would still need to be convinced, a long review is not a sufficient condition for being better. Literally:

Journée des référent(e)s développement durable du @cnrsinformatics.bsky.social ce jour au siège du CNRS à Paris. Focus de notre groupe de travail : l'organisation vertueuse d'évènements scientifiques 🤓

📣 Sorbonne University withdraws from the Times Higher Education World University Rankings! 🎓 This withdrawal is not just a symbolic gesture. The decision comes as part of a broader strategy to promote #openscience and reform research assessment.

Sorbonne University decides to withdraw from the Times Higher Education (THE) World University Rankings

As of 2026, Sorbonne University will no longer submit data to the Times Higher Education (THE) World University Rankings. The decision comes as part of a wider approach to promote open science and ref...

sorbonne-universite.fr

Une nouvelle initiative très intéressante de #TCS4F : le principe de Low-co2 research paper, qui auto-attribue un label aux articles rédigés et présentés de façon écologiquement responsable, et (donc) sans prendre l'avion : tcs4f.org/low-co2-v1 #flyless

Low-co2 research paper - Theoretical Computer Scientists for Future

TCS4F is an initiative aimed at theoretical computer scientists for a significant reduction of carbon emissions and evolve towards more sustainable practices.

tcs4f.org

Soutenances finales du Master P2S (programmation, sûreté et sécurité) à l'@univ-spn.bsky.social, pendant une immense #pannedecourant touchant la Seine-Saint-Denis. Bravo à la résilience de nos étudiant(e)s qui ont réussi à s'adapter en temps réel ! 🔌👍

📢 Nantes Université is now on Bluesky! This account will be dedicated to research and innovation. ➡️ Follow us to discover our major developments, discoveries and collaborations.

📢 Nantes Université arrive sur Bluesky ! Ce compte sera dédié à la recherche et à l’innovation. ➡️ Suivez-nous pour découvrir nos avancées, découvertes et collaborations majeures.

I’m absolutely thrilled to be joining Nantes Université 💛💚 I will be teaching in the Faculty of Science and Technology (FST), and joining the real-time systems team of LS2N, at the Centrale Nantes campus. Excited to start this new chapter, while continuing to build on existing collaborations 🤓

Je quitte en cette rentrée l'@univ-spn.bsky.social pour retrouver le soleil (presque) breton ☀️ Ces années ont été passionnantes, tant au @lipnlab.bsky.social que dans le département informatique de l'Institut Galilée. Merci pour tout 🙏 Et certainement à bientôt !

Second invited speaker at SynCoP this year: Srivathsan (from Chennai Mathematical Institute 🇮🇳), on Canonical synthesis of one-clock deterministic timed automata 🤓

SynCoP 2025 also featured 3 contributed talks by Benoît Barbot (@upecofficiel.bsky.social), Mikael Bisgaard Dahlsen-Jensen (@au.dk) and David Julien (@nantesuniv.bsky.social). lipn.univ-paris13.fr/SynCoP2025/

Delighted to have Orna Kupferman as the first keynote speaker of the SynCoP 2025 workshop (co-organized with Swen Jacobs), part of CONFEST 2025 in Aarhus 🇩🇰. Topic: Synthesis of Privacy-Preserving Systems. 🔐🤫 lipn.univ-paris13.fr/SynCoP2025/

Seen in the instructions to the PC of a popular conference: "Reviews should be written by humans and the judgement of the relevance and quality for the paper should be made by a human, not by an algorithm." I’m half happy this is made explicit, and half devastated that it needs to be made explicit.

Félicitations à Aude Grezka, ingénieure de recherche CNRS au @lipnlab.bsky.social, et nouvelle ambassadrice du programme « La Science taille XX elles » www.iledefrance-villejuif.cnrs.fr/fr/personne/...

The 27th Symposium on Formal Methods CfP If your work develops or applies #FormalMethods then #FM2026 is probably interested! Dates (AoE) * Papers 2nd Dec 2025 * Conference 20th–22nd May 2026 Gold open access proceedings Details:

FM 2026 - FM 2026

FM 2026 will be held in Tokyo from May 18 to 22, 2026. FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association…

conf.researchr.org

La nouvelle plateforme « eYoma » pour les réservations de nos voyages professionnels a une interface utilisateur tellement intuitive qu'on nous a envoyé un PDF de 101 pages pour nous expliquer son utilisation. 🤓

Third and last keynote speaker at the Petri Nets 2025 international conference: Marco Montali (from @unibz.bsky.social), who talked about Automated Reasoning for Data-Aware Petri Nets. petrinets25.github.io/web/speakers/

We are delighted to announce that the best paper award of the Petri Nets 2025 conference is awarded to Tanguy Dubois, Kim Guldstrand Larsen and Jiří Srba for their paper "Statistical Model Checking of Stochastic Timed-Arc Petri Nets". Congratulations! link.springer.com/chapter/10.1...

Spoiler 🤓

Second keynote speaker of Petri Nets 2025: @patriciabouyer.bsky.social from LMF (ENS Paris-Saclay) talking about Probabilistic and Statistical Verification of Infinite Markov Chains. (Featuring works from ANR BisoUS) petrinets25.github.io/web/speakers/

It is our greatest pleasure to organize the 46th Petri Nets international conference this week in @campuscondorcet.bsky.social, @univ-spn.bsky.social, organized by @lipnlab.bsky.social and MeFoSyLoMa. First keynote speaker is Dirk Beyer from LMU München. petrinets25.github.io/web/

Demonstration of the "blind bartender with boxing gloves" at the PeNGE workshop, satellite of Petri Nets 2025 🍻🤓 www.fernuni-hagen.de/penge/penge2...

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

« Pentagon Pizza Meter » : quand les commandes de pizzas du Pentagone annoncent une frappe militaire

Aux États-Unis, une théorie populaire lie les commandes massives de pizzas autour du Pentagone aux opérations militaires imminentes. Ce phén

leparisien.fr

Attending FORTE 2025 in Lille, with my co-author Bineet Ghosh that I have just met… for the first time 🤓 www.discotec.org/2025/programme

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/