iiinova — where your digital self keeps evolving

Étienne André @etienneandre.bsky.social · 25/08/2026

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 🌱

010

Étienne André @etienneandre.bsky.social · 25/08/2026

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 🌱

etienne-andre.fr

Event Carbon Footprint Calculator - Calculate Your Conference Climate Impact

Calculate the carbon footprint of your scientific event. Track emissions from meals and transportation with real-time visualization.

000

Étienne André @etienneandre.bsky.social · 30/06/2026

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.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

000

Étienne André @etienneandre.bsky.social · 22/01/2026

🔎 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...

lipn.univ-paris13.fr

010

Étienne André @etienneandre.bsky.social · 15/12/2025

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. 🤓

220

Étienne André @etienneandre.bsky.social · 14/12/2025

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:

000

Étienne André @etienneandre.bsky.social · 30/09/2025

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 🤓

010

Reposted by Étienne André

Sorbonne Université @sorbonne-universite.fr · 16/09/2025

📣 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-universite.fr

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...

1258

Étienne André @etienneandre.bsky.social · 16/09/2025

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

tcs4f.org

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.

001

Étienne André @etienneandre.bsky.social · 12/09/2025

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 ! 🔌👍

000

Reposted by Étienne André

Nantes Université @univ-nantes.fr · 01/09/2025

📢 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.

071

Reposted by Étienne André

Nantes Université @univ-nantes.fr · 01/09/2025

📢 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.

1143

Étienne André @etienneandre.bsky.social · 02/09/2025

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 🤓

040

Étienne André @etienneandre.bsky.social · 02/09/2025

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 !

020

Étienne André @etienneandre.bsky.social · 25/08/2025

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

010

Étienne André @etienneandre.bsky.social · 25/08/2025

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/

010

Étienne André @etienneandre.bsky.social · 25/08/2025

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/

021

Étienne André @etienneandre.bsky.social · 24/08/2025

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.

010

Reposted by Étienne André

Formal Methods Europe @formalmtds.bsky.social · 08/04/2025

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:

conf.researchr.org

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…

034

Étienne André @etienneandre.bsky.social · 07/07/2025

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. 🤓

010

Étienne André @etienneandre.bsky.social · 27/06/2025

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/

010

Étienne André @etienneandre.bsky.social · 27/06/2025

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...

000

Étienne André @etienneandre.bsky.social · 26/06/2025

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/

001

Étienne André @etienneandre.bsky.social · 25/06/2025

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/

011

Étienne André @etienneandre.bsky.social · 24/06/2025

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

010

Étienne André @etienneandre.bsky.social · 17/06/2025

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

000

Étienne André @etienneandre.bsky.social · 11/06/2025

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/

lipn.univ-paris13.fr

SynCoP 2025

10th International Workshop on Synthesis of Complex Parameters

001

Étienne André @etienneandre.bsky.social · 27/05/2025

J'assiste aujourd'hui à la journée du LS2N consacrée à Jean-Raymond Abrial et ses contributions notamment à LTR, Z et B. velo.wiki.ls2n.fr/doku.php?id=...

010

Étienne André @etienneandre.bsky.social · 22/05/2025

Vous cherchez un moyen facile de partager des notes en markdown avec vos collègues ? Je viens de découvrir le très pratique CodiMD du CNRS, idéal pour ça ! codimd.math.cnrs.fr

codimd.math.cnrs.fr

CodiMD - Collaborative markdown notes

The best platform to write and share markdown.

111

Étienne André @etienneandre.bsky.social · 20/05/2025

Call for papers: 26th International Conference on Formal Engineering Method (ICFEM 2025). ⏳ Paper submission deadline: June 1st 2025 Featuring 4 great invited speakers: - Jifeng He - Mariëlle Stoelinga - Jim Woodcock - Yongwang Zhao 10-13 November 2025, Hangzhou 🇨🇳 icfem2025.github.io

icfem2025.github.io

ICFEM 2025

Official website of the 26th International Conference on Formal Engineering Methods (ICFEM 2025) - 21-26 November 2025 - Hangzhou

000

Étienne André @etienneandre.bsky.social · 19/05/2025

Félicitations à Nicușor Dan, docteur du LAGA (@univ-spn.bsky.social), et élu président de la Roumanie ! 🤓

010

Étienne André @etienneandre.bsky.social · 15/05/2025

La section CNU27 s'insurge contre l'effondrement du taux de promotions, passé (pour les MCf hors classe) de 20% en 2022 à 10% en 2025. La section s'inquiète notamment d'un risque de découragement des collègues par rapport à la reconnaissance de leur implication. cnu27.ls2n.fr/wp-content/u...

cnu27.ls2n.fr

123

Étienne André @etienneandre.bsky.social · 13/05/2025

Call for participation: 46th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2025) Paris, France 🇫🇷🥐🗼 23-27 June 2025 Organized by @lipnlab.bsky.social @univ-spn.bsky.social ⏳ Early registration deadline: 21 May 2025 petrinets25.github.io/web/

petrinets25.github.io

Petri Nets 2025

The 46th International Conference on Application and Theory of Petri Nets and Concurrency

001

Étienne André @etienneandre.bsky.social · 30/04/2025

Spending two days at @labo-loria.bsky.social (Nancy) to discuss opacity properties with Sarah Dépernet and Engel Lefaucheux. Notice that the blue sky satisfies the opacity property: such a beautiful weather could indistinctly have been spotted in Paris, Rennes or Nantes 🤓

011

Étienne André @etienneandre.bsky.social · 28/04/2025

This morning, we were scouting the Petri Nets 2025 site at campus Condorcet. You may not want to believe it, but we will provide BOTH Wi-Fi 📶 and electricity 🔌 for laptops 🤓

000

Étienne André @etienneandre.bsky.social · 24/04/2025

Le petit jeu du jour : trouver « Paris » dans la plateforme Etamine 🤓

010

Étienne André @etienneandre.bsky.social · 22/04/2025

Last call for papers: PNSE'25 (International Workshop on Petri Nets and Software Engineering) Satellite event of Petri Nets in Paris 🤓 www.informatik.uni-hamburg.de/TGI/events/p...

informatik.uni-hamburg.de

Workshop PNSE'25

000

Étienne André @etienneandre.bsky.social · 17/04/2025

The results of image-to-image translation using the latest version of ChatGPT are truly stunning! 🤯☔️

000

Étienne André @etienneandre.bsky.social · 17/04/2025

Réunion de l'ANR BisoUS au LORIA à Nancy 🤓

010

Étienne André @etienneandre.bsky.social · 14/04/2025

Kick-off meeting of ANR TAPAS (Time-Aware Proof ASsistants), online due to the geographic diversity of participants (Toulouse, Paris, Nancy, Saclay, Nice, Sherbrooke) 🤓

000

Étienne André @etienneandre.bsky.social · 11/04/2025

Seeing from the total absence of connection between my work and their journal, I wonder whether they contact me as a doctor, or as a potential patient 😵‍💫

100

Étienne André @etienneandre.bsky.social · 10/04/2025

I have received two such spam/scam/phishing attempts in just three days—one for ATVA and another for ICECCS. Be cautious if you receive emails from individuals impersonating the PC chair of a conference where you're serving as a PC member.

000

Étienne André @etienneandre.bsky.social · 03/04/2025

Call for papers: PNSE 2025 (International Workshop on Petri Nets and Software Engineering), satellite of Petri Nets, in Paris 🥐🇫🇷 ⌛ Submission deadline extended to: 25th April Don't hesitate to submit your latest work on Petri nets there 🤓 www.informatik.uni-hamburg.de/TGI/events/p...

informatik.uni-hamburg.de

Workshop PNSE'25

011

Étienne André @etienneandre.bsky.social · 01/04/2025

Just presented our work "Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets" at the 40th ACM/SIGAPP Symposium On Applied Computing (SAC 2025) in Catania 🤓 Featuring some April fishes 🐟

020

Étienne André @etienneandre.bsky.social · 01/04/2025

Un poste de chargé(e) de recherche @cnrs.fr en situation de handicap est ouvert au @lipnlab.bsky.social. Thématique « méthodes formelles », pour intégration dans l'équipe SAFER. Date limite de candidature : 17 avril 2025, 13h. carrieres.cnrs.fr/actualites/l...

lipn.univ-paris13.fr

SAFER – LIPN

045