🔎 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...
To be fair, Mistral's LeChat added a comment that might be understood as a deliberate choice to be consistent with this kind of jokes.
(If you cannot speak French: I asked them to translate a short story into French, which is a language in which most jobs have no default gender-neutral form: in these AIGen translations, they are all translated into male.)
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.
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
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:
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...
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/
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=...