Si vous cherchez à réduire vos dépendances numériques aux US, je vous invite à jeter un œil sur le site European Alternatives qui recense des services européens dans pas mal de catégories (mails, messageries, VPN, cloud etc.) ⤵️ european-alternatives.eu/categories

On my way to Rennes to attend the CPP conference ! Looking forward to chat with everyone and learn new cool stuff !

📆 Il reste une dizaine de jours pour vous inscrire aux JFLA ! Avec en cadeau sur place des goodies pour faire des bredeles fonctionnels et applicatifs tout l’hiver ❄️ 🔗 jfla.inria.fr/jfla2026.html

📆 Il reste une dizaine de jours pour vous inscrire aux JFLA ! Avec en cadeau sur place des goodies pour faire des bredeles fonctionnels et applicatifs tout l’hiver ❄️ 🔗 jfla.inria.fr/jfla2026.html

#RejoignezLeCNRS 🫵 Les concours chercheurs CNRS 2026 ouvrent le 8/12 ! Envie de faire avancer la science au sein d’un des plus grands organismes de recherche ? 👉 carrieres.cnrs.fr/concours-... #ConcoursChercheurs #Science #Recherche #Icicarecrute #recrutement

📢 L'inscription aux JFLA2026 est ouverte ! Les exposés contribués ne sont pas encore disponibles, mais nous avons des exposés invités et des tutoriels prometteurs, venez nombreu.x.ses ! 🔗 jfla.inria.fr/jfla2026.html

#COP30 🌎 L’Europe continentale se réchauffe plus vite que le reste du globe. D’ici 2050, le climat de Londres sera similaire à celui de Barcelone aujourd’hui. 🌡️ 👉 www.cnrs.fr/fr/actualite/eu...

#Science #Informatique 💻 « Le calcul sécurisé : calculer sur des données chiffrées ou privées » 📌 Cours du Pr Xavier Leroy, titulaire de la chaire Sciences du logiciel.  ⏰ 6 novembre → 18 décembre 2025 👉 https://tinyurl.com/mr3f7fjd

Même si j'ai eu quelques réactions bizarres à ma tribune (e.g. la personne qui m'accuse de découvrir le problème maintenant), je suis content qu'au moins personne ne m'ait accusé de complotisme. www.lemonde.fr/idees/articl...

⏰ Il reste deux semaines pour soumettre un papier aux JFLA, à vos claviers ! 🔗 jfla.inria.fr/jfla2026.html ☀️ Les JFLA c’est un programme incroyable et un auditoire toujours fabuleux, venez nombreuses et nombreux !

⏰ Il reste deux semaines pour soumettre un papier aux JFLA, à vos claviers ! 🔗 jfla.inria.fr/jfla2026.html ☀️ Les JFLA c’est un programme incroyable et un auditoire toujours fabuleux, venez nombreuses et nombreux !

👩‍🔬J'ai commencé un kit de démarrage "chercheuses en France" go.bsky.app/TBEzKC #FemmesEnScience J'ai besoin de votre aide pour le remplir et donner de la visibilité aux chercheuses que vous connaissez et qui sont sur Bluesky ! ▶️Taguez celles que vous connaissez, je les ajoute !

The world’s largest federated conference in logic & automated reasoning, FLoC 2026 (www.floc26.org), will be in Lisbon! Thousands will attend—an excellent chance for companies to showcase their presence. Interested in sponsoring? Details www.floc26.org/sponsors/FLo...

Le taux de participation aux élections du Comité National reste bas. Comme d'habitude, si vous avez besoin d'aide pour voter, contactez votre syndicat (ou votre candidat). Ils sont très motivés pour vous aider.

[TW: French academic admin] Est-ce que quelqu'un a compris pourquoi on est obligé de passer par AzurColloque quand on organise une conférence via une UMR/des budgets CNRS ?

Et hop ! La démonstration du dernier théorème de Fermat à l'antenne de @franceculture.fr, c'est maintenant !

Et demain ? Un projet collaboratif s’est donné pour objectif de formaliser la preuve du théorème de Fermat afin de pouvoir l’apprendre à un ordinateur. Quel est l’enjeu de cette formalisation ? Pourquoi est-ce si compliqué ? Qu’est-ce qu’un assistant de preuve et quel est son rôle en mathématiques ?

#ChooseFrance | Only a few days left before the call for applications for the #ChooseFrance @CNRS #AI Rising Talents program closes! Apply now with the link below. ➡️ www.ins2i.cnrs.fr/en/cnrsinfo/...

#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. ⏰ Jeudi 13 mars 2025, 18 h 👉 www.college-de-france.fr/fr/agenda/le...

#8mars À l'occasion de la Journée internationale des droits des femmes, participez au webinaire organisé par la MPDF le 7 mars sur la place des femmes dans la coopération scientifique internationale. 🌍👩‍🔬 📅 Inscrivez-vous pour plus d'infos : premc.org/fr/coop-inte...

Job alert: full-time researcher position for AI with CNRS here in France. Initial contract for 5 years (tenure track). Attractive starting package and better salary than regular positions. I have been w/ @cnrs.fr since 2013, it's great! Applications due 31/03 www.ins2i.cnrs.fr/en/cnrsinfo/...

#FemmesEnScience | En cette journée internationale des filles et femmes en sciences, revivez le 7 janvier où les #DécodeusesNumérique brisent les stéréotypes et encouragent les jeunes filles à envisager une carrière scientifique ! #WomenInTech ➡️ ins2i.cnrs.fr/fr/cnrsinfo/la…

Le CNRS et le Rectorat de Paris ont réuni 500 collégiens et lycéens pour rencontrer les #DécodeusesNumérique, des héroïnes de BD inspirées de scientifiques accomplies, pour déconstruire les stéréotypes et découvrir les métiers de l’informatique. ✨