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. lmf.cnrs.fr Plateau de Saclay, France Joined July 2020-
Tweets134
-
Followers128
-
Following60
-
Likes70
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/
Tous nos encouragements à Nicolas Heurtel pour la finale demain soir !
❗ 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…
❗ 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… https://t.co/TLAid9a1HZ
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!
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 !
#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…
👤 [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
Prove using the induction method with the Event-B method and the Rodin tool. youtube.com/watch?v=UpcTQf…
Félicitations pour ce beau travail ! @INS2I_CNRS
Félicitations pour ce beau travail ! @INS2I_CNRS
#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
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, @lmf_lab, @CNRSIdFSud, @Inria etc etc 📍ENS Paris-Saclay
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 🐓 @SocInfoFr
#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
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…
#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
Félicitations à tous les trois pour avoir passé l'épreuve du temps !
Félicitations à tous les trois pour avoir passé l'épreuve du temps !
#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. ➡️ lmf.cnrs.fr/News/PLDI22-DP…
Cranck @sport35561
53 Followers 644 Following
penca @penewo
0 Followers 328 Following
🧑💻🦓🎚�... @Chelsea141413
1 Followers 8K Following @premierleague @ChelseaFC @England @Visitlondon @Hublot @trivago @Tfl @bingxofficial @IAAthlete
J.-Baptiste Raclet @JBRaclet
17 Followers 112 Following Associate professor in computer science. Flying under cheap kites.
Mike Dupont @introsp3ctor
4K Followers 8K Following ca: BwUTq7fS6sfUmHDwAiCQZ3asSiPEapW5zDrsbwtapump Zero Ontology System ZOS-SFM #SOLFUNMEME @zos_sfm https://t.co/UfJhs3TBSD :)
Interstices @interstices_eu
5K Followers 1K Following Revue en ligne dédiée aux #sciences du #numérique publiée par @Inria. Aussi là 👉 https://t.co/O80CwPb04L
Pierre Joseph Farine @JosephPier84329
2 Followers 13 Following
letournel AC @AcLetournel
0 Followers 63 Following
先智带动后障 @JSYCZZH
1 Followers 256 Following
Eckolab World Wide @eckolabworldwid
16 Followers 71 Following Nous vendons des produits et services de haute qualité à travers nos départements d’instrumentation scientifique, de chimie de laboratoire, de métrologie.
r k @kameronton
28 Followers 53 Following
Daniela Nguedia @DanielaNguedia
75 Followers 295 Following PhD Student | Software Engineer | QA Tester #BPM #Business #ProcessMining #LSAWfP #InternetofThings 🏢 #Musiclover 🎼 #FormalMethods #FormalLanguage #workflow
Jawad @Jawad213_
68 Followers 150 Following
Choco Cannelle @gadybouh
242 Followers 432 Following Chocolatine, beurre salé, et Commune de Paris. Militant au @npa_revo 📢✨
Danny Willems @dwillems42
2K Followers 2K Following Mathematician. Make the Internet better. @o1_labs & cofounder @leak_ix. Cypherpunk Radio: https://t.co/zOYcXDpBWr
Nitica Sakharwade @NiticaSakh
271 Followers 677 Following Quantum Foundations and Information. I care about Mental Health, Science Communication. Postdoc @ictqt | Past: PhD, PSI Masters @Perimeter | Masters @iitKanpur
Audrey Halbert @_audrey_h
9 Followers 81 Following
baptiste chanus @BChanus
35 Followers 357 Following
ZukoTom @TomZuko
49 Followers 294 Following
nmregl @nmregl
1 Followers 142 Following
Limath @Limath42
47 Followers 1K Following
Abdul Rab @abdulrabtalpur
48 Followers 2K Following
Christophe Monat @MonatChristophe
131 Followers 6K Following Husband. Father x3. ENSTA'89. Engineer at STMicroelectronics. Tweets are my own. Opinions are mine too - you can't have them. RT are not endorsement.
گنگ خوابد�... @fa_maess
39 Followers 181 Following
Tan Yee Jian @TanYeeJian
28 Followers 322 Following
M'nassri Rafik @rafik_mnassri
58 Followers 866 Following Dr.-Ing Assistant Professor of Materials Science
Spimees @spimees
76 Followers 2K Following Software engineer focusing on desktop. Independent researcher in concurrency.
Cecilia Soares @cecilia21051983
6 Followers 14 Following I’m a portuguese woman trying to be happy and appreciate life.
Rebeca Murillo @RebecaM07122645
3 Followers 71 Following
Caroline Fontaine @carolinecoudene
2 Followers 14 Following
Paul-André Melliès @pamellies
638 Followers 1K Following logician and computer scientist at work @CNRS @IRIF_Paris @Inria_Paris
Mohamed Arezki @rekkalmd
24 Followers 766 Following Automation eng. from @univ_tizi, @umontpellier Robotics student. Drinking the Bool-Aid.
Antonio Bucciarelli @ab170619
2 Followers 35 Following
Théo Winterhalter @winterhalter_t
109 Followers 97 Following Researcher at Inria Saclay in Deducteam. Proof assistants and dependent types.
Byzantine* @KwesiEk
240 Followers 7K Following electrical engineer by academics and a web3 mechanic and a crypto trader . i believe in the power of Decentralize technologies and DAOs prog Language: Rust Dev
Philippe Schnoebelen @Phs75f
0 Followers 7 Following
IRISA @irisa_lab
2K Followers 703 Following La recherche en #informatique #technologies #numérique @CNRSinformat @RennesUniv @ENSRennes @inria @INSA_Rennes @centralesupelec @IMTAtlantique @UBS_Universite
Mariam Shah @Mariam_Musavi
869 Followers 2K Following Research Fellow at @LisnLab | Studying at @UnivParisSaclay | Masters from @LancasterUni | Computer Scientist
André Nicolet @MadSciAndre
232 Followers 3K Following
Morgan Magnin @morgan_it
1K Followers 2K Following Professor in #ComputerScience & #Bioinformatics @CentraleNantes @LaboLS2N (#France) & Visiting Prof. @jouhouken (#Tokyo) #ModelChecking #InductiveLearning #TICE
Bastien Gares @bastiengares
3K Followers 7K Following ML Engineer | Data Scientist @ Orange | Student @ Mines Paris PSL Executive Education & DataScientest | alumni MSc Computer Science @ Supinfo | math python rust
Étienne André (now ... @etienne_andre
365 Followers 114 Following Professeur @ Université Sorbonne Paris Nord (@univ_spn, @LipnLab) Institut Universitaire de France #FlyLess (no plane travel within Europe) (he/him)
Alejandro Díaz-Caro @JanusDC
707 Followers 381 Following Inria ARP at LORIA, Nancy, France (Mocqua team). Also part-time professor at Quilmes University. My research is on programming languages for quantum computing.
Serge Abiteboul @sergeabiteboul
3K Followers 417 Following Serge Abiteboul (https://t.co/S7bEMMdiqg) est parti sur Masdondon et LiéDedans parce que Ras le bol d'ici !
Étienne André (now ... @etienne_andre
365 Followers 114 Following Professeur @ Université Sorbonne Paris Nord (@univ_spn, @LipnLab) Institut Universitaire de France #FlyLess (no plane travel within Europe) (he/him)
Nicolas Sabouret @SabouretNicolas
166 Followers 47 Following Professor in Artificial Intelligence @UnivParisSaclay @LisnLab
Théo Winterhalter @winterhalter_t
109 Followers 97 Following Researcher at Inria Saclay in Deducteam. Proof assistants and dependent types.
Paul-André Melliès @pamellies
638 Followers 1K Following logician and computer scientist at work @CNRS @IRIF_Paris @Inria_Paris
CNRS Innovation @cnrsinnovation
2K Followers 163 Following Filiale @CNRS & @Bpifrance, 30 ans d'expertise au service de l'innovation pour le transfert de technologies, l'analyse & la gestion de projets de valorisation🚀
Sylvie Retailleau @sretailleau
22K Followers 847 Following J’ai quitté X, retrouvez-moi sur les autres réseaux ! Professeur @UnivParisSaclay | Ex présidente de l'université et ministre @sup_recherche.
Frédéric Blanqui @FredericBlanqui
11 Followers 6 Following
The Rocq Prover @CoqLang
2K Followers 55 Following This account is no longer used. Follow us on Mastodon at @[email protected] (https://t.co/YQ7JNBex1u) instead.
Comité pour la scien... @ouvrirlascience
4K Followers 322 Following Le Comité pour la science ouverte assure la gouvernance et la la mise en œuvre coordonnée du Plan national pour la science ouverte en France
CNU27 @CNU_Section27
480 Followers 5 Following Compte officiel de la section Informatique (27) du Conseil national des universités
Louis @LouisLmnn
26 Followers 28 Following PhD sdt @ LMF in Paris-Saclay, interested in category theory and quantum programming languages. Addicted to language learning and I play the bass
Section 6 du Comité ... @CoNRS6
213 Followers 7 Following Sciences de l'information : fondements de l'informatique, calculs, algorithmes, représentations, exploitations. https://t.co/RZB1sz5wsK @[email protected]
Anaïs Vergnolle @VergnolleAnais
712 Followers 682 Following Responsable #communication et #médiationscientifique à la Faculté des Sciences d'Orsay @UnivParisSaclay
Thomas Nowak @nowathom
106 Followers 138 Following Professor at ENS Paris-Saclay & IUF. Interested in distributed algorithms and synthetic biology.
benzaken veronique @vbenzaken
109 Followers 282 Following Vagabond scientifique en errance dans l'ESR ; toujours en liberté ! Page pro sur LinkedIn.
Yann Duplouy @YannDuplouy
28 Followers 25 Following Ingénieur au LMF & DER info de l'ENSPS, docteur en Informatique.
École normale supér... @ENS_ULM
30K Followers 1K Following Compte officiel de l'École normale supérieure | PSL composante de @psl_univ - https://t.co/L3zO3UJoAR
Femmes & Sciences @FemmesSciences
8K Followers 921 Following Association qui vise à promouvoir et à valoriser les carrières scientifiques et techniques auprès des jeunes filles et des femmes.
femmes et maths @femmesetmaths
5K Followers 63 Following Lutter contre les stéréotypes dans les études scientifiques / Agir pour la parité dans les métiers des maths / Aider aux rencontres entre mathématiciennes
ANR - Agence national... @AgenceRecherche
22K Followers 754 Following Tous les projets, toutes les disciplines, tous les acteurs. L'ANR soutient la recherche dans sa diversité. Aussi sur LinkedIn, Bluesky, Insta #ANR #France2030
GDR RADIA @gdr_ia
464 Followers 17 Following GDR RADIA - Raisonnement, Apprentissage et Raisonnement en Inteillence Artificielle - #IA #IntelligenceArtificielle - Groupement de Recherche @cnrs @ins2i_cnrs
Paris-Saclay Innovati... @Inno_Playground
1K Followers 2K Following Expect more from innovation! Science for good 🚀
Antoine Petit @antoine_petit_
7K Followers 61 Following Président-directeur général du @CNRS - Professeur à l'Ecole Normale Supérieure de Paris-Saclay
DIM RFSI @DimRfsi
54 Followers 46 Following Le #DIM #RFSI fédère l’ensemble des acteurs franciliens de la recherche en #sciences et #technologies de l’information et de la communication
LIPN @LipnLab
236 Followers 98 Following The LIPN is a computer science research laboratory of @CNRS and @univ_spn. @INS2I_CNRS 🐘 : @[email protected]
CNRS 🌍 @CNRS
224K Followers 2K Following Organisme public 🇫🇷 de recherche pluridisciplinaire, le Centre national de la recherche scientifique c'est 33 000 personnes qui font avancer la connaissance.
Dietmar Berwanger @dwberwanger
11 Followers 3 Following Resarcher in logic & game theory; @lmf_lab, @CNRS
Idir AIT SADOUNE @IdirAitSadoune
27 Followers 91 Following Enseignant Chercheur en Informatique / LMF - @centralesupelec - @UnivParisSaclay / Campus de Gif sur Yvette - France
Loria @labo_Loria
2K Followers 309 Following La #recherche en #informatique et #sciencesnumériques en #Lorraine
Institut DATAIA Paris... @InstitutDATAIA
2K Followers 530 Following Compte X de l'Institut DATAIA. 🔴 INACTIF à compter du 27/01/2025, retrouvez-nous sur BlueSky ! 🔴
UMR_Heudiasyc @Heudiasyc
344 Followers 291 Following Laboratoire Heudiasyc « Heuristique et Diagnostic des Systèmes Complexes » UMR UTC / @CNRS | Recherche en : #Informatique #Automatique #Robotique #IA
ISIR - Robotique @ISIR_labo
5K Followers 195 Following (compte inactif) ISIR - Institut des Systèmes Intelligents et de Robotique Laboratoire de recherche en Robotique et en systèmes d'Intelligence Artificielle
Filles, maths et info... @FillesEtMaths
4K Followers 791 Following Événements de mathématiques et d’informatique pour collégiennes et lycéennes, par @Asso_Animath & @femmesetmaths avec @FondBPascal Photo couv ©Stephen Oudart
Ali Charara @Ali_Charara_
465 Followers 247 Following Ex-Directeur de @CNRSinformatics (2019-2023), ex directeur scientifique référent @CNRS pour la région #GrandEst - Professeur à l'@utcompiegne
ENS Rennes @ENSRennes
2K Followers 236 Following École normale supérieure de Rennes (en veille ici) Pour suivre ailleurs notre actualité, suivez le lien
IRISA @irisa_lab
2K Followers 703 Following La recherche en #informatique #technologies #numérique @CNRSinformat @RennesUniv @ENSRennes @inria @INSA_Rennes @centralesupelec @IMTAtlantique @UBS_Universite
LaBRI @labriOfficial
898 Followers 129 Following Laboratoire bordelais de Recherche en Informatique. Unité Mixte de Recherche CNRS (UMR 5800) université de Bordeaux, Bordeaux INP
Laboratoire d'Informa... @LIX_lab
533 Followers 102 Following Laboratoire d'Informatique de l'Ecole Polytechnique (LIX). Unité Mixte de Recherche X-CNRS 7161. https://t.co/fFhNEyBjZc
Pôle Systematic @Pole_Systematic
8K Followers 8K Following Pôle européen #numérique & #DeepTech #datascience #AI #Cybersecurity #DigitalInfrastructure #Iot #DigitalEngineering #Optics #Photonics #OpenSource
Labex DigiCosme @digicosme
98 Followers 65 Following Labex DigiCosme is an Excellence Laboratory Center in digital science that develops 3 main themes that will define future information and communication systems
Inria @Inria
46K Followers 2K Following Institut national de #recherche en sciences et technologies du #numérique 🚀 La recherche de rang mondial et l’#innovation technologique constituent notre ADN.
Binaire @Blog_Binaire
3K Followers 128 Following L'informatique : la science au cœur du numérique. Compte du blog Binaire avec les informaticien(ne)s de la SIF (Société Informatique de France) mais pas que !
Société informatiqu... @SocInfoFr
3K Followers 486 Following
GdrGPL @GdrGPL
463 Followers 306 Following le GDR GPL (Génie de la Programmation et du Logiciel) est une unité de l'INS2I du CNRS qui regroupe la communauté scientifique française du domaine.
GDR Sécurité Inform... @GdrSecInfo
1K Followers 10 Following Le GDR Sécurité Informatique est un outil d'animation de la recherche scientifique française créé par l'INS2I du CNRS, et ouvert à toute la communauté.
Centre Borelli @CentreBorelli
137 Followers 99 Following Academic Research Lab, @ENS_ParisSaclay @UnivParisSaclay @CNRSIdFSud Mathematics, neuroscience, computing, with their industrial and biomedical interactions.
LIP6 @LIP6_lab
1K Followers 133 Following Compte inactif ! Le LIP6 est l'un des principaux laboratoires français de recherche en informatique. Il est rattaché à @Sorbonne_Univ_ et au @CNRS.Trends for United States
You might like
