CNRS Sciences informatiques

Le livre "Tout comprendre (ou presque) sur l'IA" paraît aujourd'hui au format physique et numérique. Pour toutes celles et ceux qui souhaitent comprendre comment fonctionne l'#IA

Chercheur passionné et pédagogue, Jean-Raymond Abrial a ouvert la voie à des méthodes qui structurent encore la vérification formelle aujourd’hui. ➡️ ins2i.cnrs.fr/fr/cnrsinfo/ho… 🤝 @IRIToulouse @CNRS_Toulouse @lmf_lab @CNRSIdFSud @labo_Loria @CNRS_Centre_Est

#International🌎| Read about the 8 winning projects of the @IEA 2024 campaign led by @CNRS. ➡️ ins2i.cnrs.fr/en/cnrsinfo/ei… 🤝#CRIStAL @CNRS_HdF @LaasCNRS @CNRS_Toulouse #LIP @CNRS_dr07 #GSCOP @CnrsAlpes #Icube @CNRS_Alsace @Labo_CRAN @CNRS_Centre_Est @LaasCNRS @CNRS_Toulouse

Le @CNRS rend hommage à Gilles Dowek, qui laisse derrière lui une œuvre scientifique et intellectuelle à la croisée de l’informatique et de la philosophie marquée par la volonté de transmettre. ➡️ ins2i.cnrs.fr/fr/cnrsinfo/ho… @lmf_lab @CNRSIdFSud @UnivParisSaclay @ENS_ParisSaclay

#TalentCNRS🥈| « J’ai beaucoup travaillé sur la bipédie inspirée de l’humain », Christine Chevallereau a reçu la médaille d’argent du CNRS pour ses travaux sur la robotique inspirée des oiseaux. ➡️ ins2i.cnrs.fr/fr/cnrsinfo/me… 🤝 @LaboLS2N @CNRS_dr17

#TalentCNRS 🥉| Flora Jay, entre génomes synthétiques et récits évolutifs, reçoit la médaille de bronze du CNRS. ➡️ ins2i.cnrs.fr/fr/cnrsinfo/fl… 🤝 @LisnLab @CNRSIdFSud

#CNRSinnovation 💡 | 11 projets technologiques innovants ont rejoint la 13eme promotion du programme RISE du @CNRS, dont le projet Treensight , issu du @LIGLab qui propose une nouvelle approche de l’analyse de données, pensée pour les experts métiers ➡️ cnrsinnovation.com/actualite/le-c…

#RésultatScientifique 🚀 | Le grand séminaire MACS de l’automne 2025 : une occasion unique de faire dialoguer les communautés #automatique et #apprentissage. ➡️ ins2i.cnrs.fr/fr/cnrsinfo/au… 🤝 @GdR_MACS

#International🌎| Retrouvez les 8 projets lauréats de la campagne des @IEA 2024 porté par le @CNRS. ➡️ ins2i.cnrs.fr/fr/cnrsinfo/hu… 🤝#CRIStAL @CNRS_HdF @LaasCNRS @CNRS_Toulouse #LIP @CNRS_dr07 #GSCOP @CnrsAlpes #Icube @CNRS_Alsace @Labo_CRAN @CNRS_Centre_Est @LaasCNRS @CNRS_Toulouse

"On a conçu un mannequin qui pédale" : des chercheurs du @LaasCNRS améliorent la performance des cyclistes | @scoopit france3-regions.franceinfo.fr/occitanie/haut…

@CNRSinformatics a appris avec une profonde tristesse le décès de Jean-Raymond Abrial et souhaite rendre hommage au père des formalismes et méthodes Z, B et Event-B. ➡️ins2i.cnrs.fr/fr/cnrsinfo/ho… 🤝@IRIToulouse@CNRS_Toulouse @lmf_lab @CNRSIdFSud @labo_Loria @CNRS_Centre_Est

Entre excellence scientifique, ambitions industrielles et vision éthique, l'Europe et la France investissent pour redessiner l'équilibre mondial du pouvoir technologique en matière d'#IA, avec l’aide de la science. ➡️ cnrs.fr/fr/actualite/l…

#TalentCNRS 🥈| Christine Chevallereau s’est vue récompensée de la médaille d’argent du CNRS pour ses travaux sur la robotique inspirée des oiseaux. ➡️ ins2i.cnrs.fr/fr/cnrsinfo/me… 🤝 @LaboLS2N@CNRS_dr17

#ScienceXXelles Aude est linguiste informaticienne. Son travail consiste à utiliser le traitement automatique des langues pour décrypter les mécanismes de la langue. Ainsi, elle (dé)code les mécanismes du langage. Pour en savoir plus 👉 iledefrance-villejuif.cnrs.fr/fr/personne/au…

#TalentCNRS 🥉| Médaille de bronze pour Sébastien Tavenas face à la complexité algébrique, « ma démarche est de ne pas mesurer le temps pour le résoudre, mais le nombre d’opérations élémentaires qu’il faut effectuer ». ➡️ins2i.cnrs.fr/fr/cnrsinfo/me… 🤝#LAMA @CnrsAlpes @CNRS_INSMI

Dans un secteur dominé par les géants américains et chinois, la France et l’Europe ambitionnent d’emprunter "une troisième voie" en matière d'intelligence artificielle. L'#IA à la française, entre ambitions souveraines et course mondiale cnrs.fr/fr/actualite/l…

#TalentsCNRS 🥉| Récompensée par la médaille de bronze du @cnrs, Karoliina Lehtinen développe des outils théoriques pour rendre nos logiciels plus sûrs, entre logique, automates et théorie des jeux. ➡️ ins2i.cnrs.fr/fr/cnrsinfo/ka… 🤝 #LIS @CNRS_dr12 @univamu

#RésultatScientifique 🚀 | #Automatique et apprentissage : le GDR MACS au cœur des systèmes décisionnels lors de son grand séminaire MACS à l'automne 2025. ➡️ ins2i.cnrs.fr/fr/cnrsinfo/au… 🤝 @GdR_MACS

#RésultatScientifique 🔎 | Le GDR IASIS a récompensé Thomas Fel pour sa thèse portant sur l’interprétabilité des réseaux de neurones profonds pour la vision. ➡️ ins2i.cnrs.fr/fr/cnrsinfo/lu… 🤝 @ANITI_Toulouse @CNRS_Toulouse

Pour détecter une cyberattaque, des procédures d’analyse sont développées en combinant des concepts de méthodes formelles, d’IA avec une compréhension du domaine. ➡️ ins2i.cnrs.fr/fr/cnrsinfo/ra… 🤝 @Jean_YvesMarion @labo_Loria Université de Lorraine

#TalentCNRS 🥉| Sébastien Tavenas s’est vu récompensé de la médaille de bronze du CNRS pour ses recherches sur la complexité algébrique. ➡️ins2i.cnrs.fr/fr/cnrsinfo/me… 🤝#LAMA @CnrsAlpes @CNRS_INSMI