#PodcastCNRS ๐ง ยซโฏMes travaux visent ร protรฉger la vie privรฉe.โฏยป Geoffroy Couteau, explique pourquoi le calcul sรฉcurisรฉ est la clรฉ pour garantir la confidentialitรฉ des donnรฉes en ligne dans cet รฉpisode de "Quโest-ce que tu cherches ?"
๐ smartlink.ausha.co/cnrs-qu-est-...
CNRS
โฐ Jeudi 13 mars 2025, 18 h
#Science #Mathรฉmatiques
"La thรฉorie des types, de Russell aux assistants ร la dรฉmonstration"
๐ Leรงon inaugurale de Thierry Coquand, professeur invitรฉ sur la chaire #Informatique et sciences numรฉriques, en partenariat avec Inria.
๐ www.college-de-france.fr/fr/agenda/le...
#Distinction ๐| Des scientifiques rรฉcompensรฉs pour leurs travaux entre #mathรฉmatiques et #logiciels.
โก๏ธ https://buff.ly/3EYvtQ8
๐ค @irif-paris.bsky.social @labo-loria.bsky.social #Ljad @cnrs-idf-villejuif.bsky.social #CNRS_Centre_Est
"J'ai choisi de revenir en France et de rejoindre le @CNRS, car j'y trouve une activitรฉ scientifique riche dans mon domaine et un environnement idรฉal pour faire de la recherche."
Giannos Stamoulis, chargรฉ de recherche ร @irif-paris.bsky.socialโฌ
โก๏ธ buff.ly/84RP6vS
๐ค @cnrs-idf-villejuif.bsky.socialโฌ
Bluesky j'ai besoin de toi !
Pour @pintofsciencefr.bsky.social un truc qui me tient vraiment ร cลur est d'amener le festival dans les villages, loin des grandes villes.
Le souci ? On ne trouve pas toujours de scientifiques pour participer.
Quelqu'un.e dans le coin de Bonnes (16390) ?
Collรจge de France
๐ซ L'EPIT 2025 (รcole de Printemps d'Informatique Thรฉorique du #CNRS) co-organisรฉe par Alexis Saurin (IRIF) a lieu au Centre Paul-Langevin
๐ป Sur Le raisonnement (co)inductif & circulaire appliquรฉ ร la #programmation, la preuve formelle et la vรฉrification logicielle
โก๏ธ Retrouvez les contenus des cours
CNRS Sciences informatiques
CNRS Sciences informatiques
L'UFR d'informatique de l'@upcite.bsky.social organise une nouvelle confรฉrence "On รฉteint ๐ด , on rรฉflรฉchit ๐ง , on discute ๐ฃ๏ธ" sur "๐๐ ๐ฆ๐จ๐ง๐๐ ๐ฆ๐๐ซ๐ฏ๐๐ข๐ฅ๐ฅ๐๐ฎ๐ฑ ๐๐๐ฌ ๐ฌ๐ญ๐๐ซ๐ญ-๐ฎ๐ฉ" avec Marion Flรฉcher et Jean Krivine.
๐ซต Venez nombreux !
๐ 01/04
โฐ 16h30-18h30
๐ www.informatique.univ-paris-diderot.fr/ufr/conferen...
๐ ๐ค โQu'est ce que tu cherches ?โ
๐๏ธ Geoffroy Couteau รฉtait l'invitรฉ du 3e รฉpisode du #podcast du @cnrsinformatics.bsky.social pour parler de protection des donnรฉes privรฉes via les calculs et les protocoles sรฉcurisรฉs.
๐ (Rรฉ)รcoutez cet รฉpisode : podcast.ausha.co/cnrs-qu-est-...
#data #privacy
๐ ๐๐๐ง๐ฌ ๐ฆ๐๐ญ๐ก๐ฬ๐ฆ๐๐ญ๐ข๐ช๐ฎ๐๐ฌ, ๐ฉ๐๐ฌ ๐โ๐ข๐ง๐๐จ๐ซ๐ฆ๐๐ญ๐ข๐ช๐ฎ๐ ! Lโinformatique fondamentale repose sur les #maths, qui souffrent dโun dรฉsintรฉrรชt croissant chez les รฉtudiants. Le niveau diminue et les inรฉgalitรฉs se creusent.
๐ Le @cnrs.fr lance sa consultation citoyenne. ๐ณ๏ธ Votre avis compte ! ๐ consultation-maths.fr
Video
๐ ๐ Congratulations to Florian Horn, co-author of "๐ ๐๐ฃ๐๐๐๐ก๐๐๐๐ : ๐ด ๐ท๐๐๐๐๐๐๐๐ ๐ถ๐๐๐ ๐ ๐๐ ๐๐๐๐ท๐๐ ๐ค๐๐กโ ๐๐๐๐๐-๐ ๐๐๐ข๐๐๐ ๐๐๐๐๐๐ก๐๐ฃ๐๐ ", a paper awarded the โOutstanding Paper Awardsโ at AAAI 2025.
๐ aihub.org/2025/03/01/c...
