Étienne André
LightNews LightNews
banner
etienneandre.bsky.social
Étienne André
@etienneandre.bsky.social
260 followers 270 following 90 posts
Professeur des Universités
LS2N
Nantes Université
Institut Universitaire de France (2024-2029)

#FlyLess (no plane travel within Europe)

(he/him)
Posts Replies Media Videos
etienneandre.bsky.social
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 🤓
September 30, 2025 at 1:05 PM
Reposted by Étienne André
sorbonne-universite.fr
📣 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...
www.sorbonne-universite.fr
September 16, 2025 at 2:48 PM
etienneandre.bsky.social
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
September 16, 2025 at 2:56 PM
etienneandre.bsky.social
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 ! 🔌👍
September 12, 2025 at 8:58 AM
Reposted by Étienne André
univ-nantes.fr
📢 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.
September 1, 2025 at 3:39 PM
Reposted by Étienne André
univ-nantes.fr
📢 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.
September 1, 2025 at 3:01 PM
etienneandre.bsky.social
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 🤓
September 2, 2025 at 11:59 AM
etienneandre.bsky.social
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 !
September 2, 2025 at 9:29 AM
etienneandre.bsky.social
Second invited speaker at SynCoP this year: Srivathsan (from Chennai Mathematical Institute 🇮🇳), on Canonical synthesis of one-clock deterministic timed automata 🤓
August 25, 2025 at 12:54 PM
etienneandre.bsky.social
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/
August 25, 2025 at 12:05 PM
etienneandre.bsky.social
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/
August 25, 2025 at 11:43 AM
etienneandre.bsky.social
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.
August 24, 2025 at 6:04 PM
etienneandre.bsky.social
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/...
Aude Grezka | Délégation Ile-de-France Villejuif du CNRS
Aude Grezka est ingénieure de recherche CNRS en linguistique au sein du Laboratoire d’Informatique de Paris-Nord (LIPN, CNRS/Université Sorbonne Paris Nord) : un rôle particulier qui consiste à aider les ordinateurs à comprendre les mécanismes de la langue.
www.iledefrance-villejuif.cnrs.fr
July 29, 2025 at 11:26 AM
Reposted by Étienne André
formalmtds.bsky.social
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
April 8, 2025 at 1:37 PM
etienneandre.bsky.social
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. 🤓
July 7, 2025 at 7:16 AM
etienneandre.bsky.social
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/
June 27, 2025 at 8:55 AM
etienneandre.bsky.social
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...
June 27, 2025 at 7:14 AM
etienneandre.bsky.social
Spoiler 🤓
June 26, 2025 at 7:35 AM
etienneandre.bsky.social
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/
June 26, 2025 at 7:10 AM
etienneandre.bsky.social
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/
June 25, 2025 at 7:19 AM
etienneandre.bsky.social
Demonstration of the "blind bartender with boxing gloves" at the PeNGE workshop, satellite of Petri Nets 2025 🍻🤓
www.fernuni-hagen.de/penge/penge2...
June 24, 2025 at 11:00 AM
etienneandre.bsky.social
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
www.leparisien.fr
June 17, 2025 at 8:15 PM
etienneandre.bsky.social
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
June 17, 2025 at 12:22 PM
etienneandre.bsky.social
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
etienneandre.bsky.social
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=...
May 27, 2025 at 12:53 PM