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

É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

É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 · 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 · 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 · 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 · 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 · 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 · 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 · 25/03/2025

Who, ChatGPT 🇺🇸 or LeChat 🇫🇷, answers better to questions regarding complexities in timed automata? Answer: none of them ☠️

110

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

Problème : ChatGPT sait désormais très bien générer des lettres au ton plus authentique, avec leurs petites fautes et autres tournures imparfaites. Exemple ci-dessous (générée par moi-même en prévision du recrutement du M2 P2S).

000

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

Bref, j'ai été invité à donner un séminaire à l'ENS Rennes 🤓

030

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

So now some journals publish our reviews publicly (which is good), but they also "strongly encourage" us to disclose our names. I feel a bit reluctant about this—at least without a 2-3-year embargo. Won't this indirectly discourage us from writing negative reviews for fear of retaliation?

010

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

📃 Sujet de stage de développement, niveau M2 (ou dernière année d'école d'ingénieur). Sujet : réalisation d'une plateforme automatisée pour le bilan carbone du @lipnlab.bsky.social 🔥 Contact : lipn.univ-paris13.fr/stage-realis...

001

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

Intervention de l'ancien commissaire européen @thierrybreton.bsky.social à la soirée #HelloQuitteX à l'ISC Paris.

010

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

Soirée #HelloQuitteX animée par @chavalarias.bsky.social à l'Institut des systèmes complexes.

010

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

Début du hackhathon du Master DIMI (Design d'Interface Multimedia et Internet) de @univ-spn.bsky.social au Campus de la Fonderie de l'image avec, cette année, le concours des étudiant(e)s P2S (programmation, sûreté, sécurité), avec la présence d'une dizaine de start-ups.

000

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

The paper submission deadline to Petri Nets 2025, organized by @lipnlab.bsky.social at @univ-spn.bsky.social in June 2025, is extended by one week ⌛️ petrinets25.github.io/web/cfp/

012

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

At LORIA to discuss opacity, by a quite opaque weather 🌫️😶‍🌫️

000

Étienne André @etienneandre.bsky.social · 13/12/2024

I asked DALL-E / ChatGPT to generate "a logo for a research team focusing on formal verification, in the area of theoretical computer science and mathematics, called 'SAFER'" and, well, the outcome is: humans are not completely useless (yet) 🤓

011

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

Taking advantage to attend ICFEM 2024 to also visit Masaki Waga in Kyoto University this week 🤓🇯🇵🍣🍶

000

Étienne André @etienneandre.bsky.social · 05/12/2024

Presented my paper "Tuning trains speed in railway scheduling" at ICFEM 2024 🇯🇵⛩️🤓

Slides "tuning trains speed in railway scheduling"

Cool certificate from the ICFEM organizers :o)

000

Étienne André @etienneandre.bsky.social · 04/12/2024

Introduction of the 25th International Conference on Formal Engineering Methods (ICFEM) by Liu Shaoying, in Hiroshima 🇯🇵⛩🍙 icfem2024.info

010

Étienne André @etienneandre.bsky.social · 02/12/2024

Attending the 1st International Symposium on Software Fault Prevention, Verification, and Validation in Hiroshima, a satellite event of ICFEM 2024 🇯🇵⛩️ icfem2024.info/SFPVV2024/in...

010