#Disctinction 🏆 | Félicitations à Jacques-Henri Jourdan du Laboratoire Méthodes Formelles et à ses co-auteurs, Xavier Denis, Yusuke Matsushita et Derek Dreyer, qui ont reçu le Distinguished Paper Award à #PLDI2022, pour leurs travaux sur les langages de programmation. ➡️ lmf.cnrs.fr/News/PLDI22-DP…

Félicitations à tous les trois pour avoir passé l'épreuve du temps !

#Disctinction 🏆| Félicitations à Philippe Schnoebelen Laboratoire Méthodes Formelles, François Laroussinie IRIF et Nicolas Markey IRISA pour leur prix LICS Test-of-time pour leurs travaux sur la logique temporelle. ➡️ins2i.cnrs.fr/fr/cnrsinfo/tr… 🤝 CNRS à Paris-Saclay CNRS Île-de-France Villejuif CNRS Bretagne et Pays de la Loire

Le Laboratoire Méthodes Formelles et les élèves du DER d'informatique de l'@ENS_ParisSaclay seront à la fête de la science les 7-8-9 octobre 2022 avec un atelier d'informatique débranchée et un atelier de programmation. iledescience.org/wa_files/progr…

#Distinction 🏆 | Thomas Nowak Thomas Nowak Laboratoire Méthodes Formelles, nouvel #IUF junior chaire fondamentale Institut universitaire de France (IUF), pour ses travaux théoriques appliqués au vol des oiseaux et la communication entre bactéries. ➡️ ins2i.cnrs.fr/fr/cnrsinfo/th… 🤝 CNRS à Paris-Saclay Université Paris-Saclay @ENS_ParisSaclay

Jean-Xtophe Filiatre, co-auteur d'un excelllent ouvrage #MP2I #MPI, et la nécessité d'éduquer les développeurs à la #verif et preuve de programme 🐓 Société informatique de France - SiF - SocInfoFr

Fête de la science : c'est parti ! Retrouvez nous pour découvrir comment les chercheurs.euses du LISN expliquent les tornades et tsunamis et rencontrez nos supers voisins dataia khabeishvili, Laboratoire Méthodes Formelles, CNRS à Paris-Saclay, Inria etc etc 📍ENS Paris-Saclay

#Distinction 🏆 |"Considérer les bactéries et les virus comme des systèmes distribués permet à la fois de comprendre et de modifier la nature" Thomas Nowak Laboratoire Méthodes Formelles, #IUF junior chaire fond. Institut universitaire de France (IUF) ➡️ins2i.cnrs.fr/fr/cnrsinfo/th… 🤝CNRS à Paris-Saclay Université Paris-Saclay @ENS_ParisSaclay

Félicitations pour ce beau travail ! @INS2I_CNRS

👤 [PORTRAIT] Eviter #bugs #informatique !👩‍💻 Évelyne Contejean - directrice #recherche CNRS à Paris-Saclay au LMF – Université Paris-Saclay @ENS_ParisSaclay CentraleSupélec Centre Inria de Saclay - est spécialiste de la démonstration automatique et des assistants à la preuve.👉 bit.ly/3WRjEzR

#TalentsCNRS | Le projet #DécodeusesNumérique📙est récompensé ce soir ! Déjà plus de 40 000 consultations sur la page de la #BD depuis le lancement : n’hésitez pas à la partager et à faire connaître les ressources complémentaires autour de vous ! ➡️ ins2i.cnrs.fr/fr/les-decodeu…

Today I’m presenting a poster about CosyVerif. A web platform for the specification and verification of complex systems. Joint work with LIPN, LIP6 and Laboratoire Méthodes Formelles. It uses Nuxt and Vuetify 🥰

Aujourd'hui chez Inria se tenait un séminaire #NSI (#numérique et sciences informatiques) destiné aux enseignants NSI de l'Académie de Versailles 👩‍🏫. 🗣️ Pablo Arrighi, responsable de l'équipe QUACS, a animé une session de sensibilisation au calcul #quantique très intéressante !

This is a shared dev. engineer position in formal methods, between IRIF LIPN and Laboratoire Méthodes Formelles. The recruited person will be allowed to choose his daily location between Villetaneuse, Paris, Gif-sur-Yvette, and to develop projects with the three labs!

❗ RECRUTEMENT | Ingénieur de Recherche en Développement Logiciel❗ ✅ Conduire la maîtrise d’œuvre de projets ✅ Travailler dans un réseau d’ingénieurs en soutien aux chercheur·euses ⏱ 17/03/2023 📍 Poste mutualisé entre IRIF, LIPN Laboratoire Méthodes Formelles ➡ emploi.cnrs.fr/Offres/CDD/UMR…

Tous nos encouragements à Nicolas Heurtel pour la finale demain soir !

Today the Workshop on Automata, Concurrency, and Timed Systems is taking place at @ENS_ParisSaclay Many interesting talks in a pleasant atmosphere! lmf.cnrs.fr/ACTS2023/