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

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

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

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

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

Attending today MeFoSyLoMa at @lip6.fr, featuring with 2 talks by Anissa Kheireiddine and @dylanmsu.bsky.social mefosyloma.fr/j2025-05.html

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

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/

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 🤓

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 🤓

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

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

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

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

Onze postes ATER (9 au département informatique de Galilée et 2 à l'IUT de Villetaneuse) sont ouverts à @univ-spn.bsky.social ; recherche au @lipnlab.bsky.social. www.univ-spn.fr/campagne-de-... Candidatures sur ALTAIR et sur ater.univ-paris13.fr avant le 24 avril 2025 (16h).

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

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 😵‍💫

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.

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

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 🐟

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

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

Summum d'absurdité bureaucratique : je souhaite commander une carte SNCF Liberté au vu de mes fréquents voyages en train (dont co-encadrement thèse à Nancy). Pas de souci, ça a été voté par le conseil de labo, on a les fonds au niveau labo ou sur mes projets, et cela fera faire des économies. MAIS…

Avec l'essor des agents conversationnels, les lettres de motivation trop lisses sont légion, et l'on finit par valoriser les lettres au ton un peu plus bancal et personnalisé. Sauf que…