Laboratoire Méthodes Formelles
133 posts
Laboratoire Méthodes Formelles
@lmf_lab
Research lab on formal methods in Computing Science and beyond. Nous suspendons l'utilisation de ce compte en raison des dérives de ce RS.
Plateau de Saclay, France Katılım Temmuz 2020
60 Takip Edilen126 Takipçiler
Nous recherchons un ou une gestionnaire administratif et financier.
Si vous souhaitez travailler dans une petite équipe administrative dynamique en soutien à un jeune laboratoire de recherche en informatique, contactez-nous et postulez !
universite-paris-saclay.candidater.fr/2023/07/25/ges…
Français
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/
English
Tous nos encouragements à Nicolas Heurtel pour la finale demain soir !
Français
Laboratoire Méthodes Formelles retweetledi
❗ 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_Paris, @LipnLab @lmf_lab
➡ emploi.cnrs.fr/Offres/CDD/UMR…
Emploi CNRS@emploicnrs
Chef-fe de projet ou expert-e en ingénierie logicielle H/F (VILLETANEUSE) emploi.cnrs.fr/Offres/CDD/UMR… #Emploi #OffreEmploi #Recrutement
Français
This is a shared dev. engineer position in formal methods, between @IRIF_Paris @LipnLab and @lmf_lab. 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!
English
Laboratoire Méthodes Formelles retweetledi
Aujourd'hui chez @Inria se tenait un séminaire #NSI (#numérique et sciences informatiques) destiné aux enseignants NSI de l'@acversailles 👩🏫.
🗣️ Pablo Arrighi, responsable de l'équipe QUACS, a animé une session de sensibilisation au calcul #quantique très intéressante !
Français
Laboratoire Méthodes Formelles retweetledi
#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…
Français
Laboratoire Méthodes Formelles retweetledi
👤 [PORTRAIT]
Eviter #bugs #informatique !👩💻
Évelyne Contejean - directrice #recherche @CNRSIdFSud au LMF – @UnivParisSaclay @ENS_ParisSaclay @centralesupelec @Inria_Saclay - est spécialiste de la démonstration automatique et des assistants à la preuve.👉 bit.ly/3WRjEzR
Français
Laboratoire Méthodes Formelles retweetledi
Prove using the induction method with the Event-B method and the Rodin tool.
youtube.com/watch?v=UpcTQf…
YouTube
English
Félicitations pour ce beau travail !
@INS2I_CNRS
CNRS 🌍@CNRS
#TalentsCNRS Les sciences du numérique souffrent d’un déséquilibre de parité. Pour y remédier, la cellule parité-égalité de l’@INS2I_CNRS a mis en lumière les femmes de la discipline à travers des portraits en BD illustrés par Léa Castor (@CNRSEd). 💬 ➡️ cnrs.fr/fr/personne/de…
Français
Laboratoire Méthodes Formelles retweetledi
#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" @nowathom @lmf_lab, #IUF junior chaire fond. @InstUnivFr
➡️ins2i.cnrs.fr/fr/cnrsinfo/th…
🤝@CNRSIdFSud @UnivParisSaclay @ENS_ParisSaclay
Français
Laboratoire Méthodes Formelles retweetledi
Laboratoire Méthodes Formelles retweetledi
Laboratoire Méthodes Formelles retweetledi
#Distinction 🏆 | Thomas Nowak @nowathom @lmf_lab, nouvel #IUF junior chaire fondamentale @InstUnivFr, pour ses travaux théoriques appliqués au vol des oiseaux et la communication entre bactéries.
➡️ ins2i.cnrs.fr/fr/cnrsinfo/th…
🤝 @CNRSIdFSud @UnivParisSaclay @ENS_ParisSaclay
Français
Le @lmf_lab 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…
Français
Laboratoire Méthodes Formelles retweetledi
#Disctinction 🏆| Félicitations à Philippe Schnoebelen @lmf_lab, François Laroussinie @IRIF_Paris et Nicolas Markey @irisa_lab pour leur prix LICS Test-of-time pour leurs travaux sur la logique temporelle.
➡️ins2i.cnrs.fr/fr/cnrsinfo/tr…
🤝 @CNRSIdFSud @CNRS_Villejuif @CNRS_dr17
Français
Félicitations à tous les trois pour avoir passé l'épreuve du temps !
CNRS Sciences informatiques@CNRSinformatics
#Disctinction 🏆| Félicitations à Philippe Schnoebelen @lmf_lab, François Laroussinie @IRIF_Paris et Nicolas Markey @irisa_lab pour leur prix LICS Test-of-time pour leurs travaux sur la logique temporelle. ➡️ins2i.cnrs.fr/fr/cnrsinfo/tr… 🤝 @CNRSIdFSud @CNRS_Villejuif @CNRS_dr17
Français
Laboratoire Méthodes Formelles retweetledi
#Disctinction 🏆 | Félicitations à Jacques-Henri Jourdan du @lmf_lab 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.
➡️ #break" target="_blank" rel="nofollow noopener">lmf.cnrs.fr/News/PLDI22-DP…
Français
📢 Le livre « Informatique - MP2I/MPI » vient de sortir !
Il couvre le programme d'informatique des deux années de la filière MP2I/MPI de classes préparatoires.
informatique-mpi.fr
#EnseignementInformatique #CPGE #MP2I #MPI
Français