📣 Registration, Scholarships and Buddy Program at FLoC Mentoring Workshops !
🇵🇹 @floc2026 will feature two mentoring workshops on July 19th and 25th, for which scholarships can be granted, thanks to sponsors.
⏰Deadline: April 13th
🔗Informations and application link :
www.floc26.org/mentoring-wo...
📣 Working at the intersection of mathematics and functional programming? Submit to the MSFP workshop and let's discuss it in July at FLOC in Lisbon!
msfp-workshop.github.io/msfp2026/
The submission deadline is Wednesday, 29th April. Bob Atkey and I will publish the PC very soon!
📣 Working at the intersection of mathematics and functional programming? Submit to the MSFP workshop and let's discuss it in July at FLOC in Lisbon!
msfp-workshop.github.io/msfp2026/
The submission deadline is Wednesday, 29th April. Bob Atkey and I will publish the PC very soon!
À l’occasion de la journée #FemmesEnScience, découvrez ces femmes qui façonnent les sciences informatiques ! #IA, optimisation et fonctions supports, elles innovent et repoussent les frontières du #numérique.
➡️ www.ins2i.cnrs.fr/fr/cnrsinfo/...
A Japanese garden with a pound and buildings in the background. A flowering plum tree in the foreground.
In Tokyo for the next 6 months !
🥲
Oui, on arrive quand même à faire passer les preuves à travers les mises à jour successives de Rocq assez facilement.
C’est un peu l’idée de base de ssreflect et math-comp non ? Peu de tactiques et une discipline d’écriture de preuves très stricte, ça fait des preuves maintenables
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
This is also the first time I’ll be leaving my newborn for more than a short day. Happy to leave but I’ll definitely be happy to come back.
On my way to Rennes to attend the CPP conference ! Looking forward to chat with everyone and learn new cool stuff !
Un emporte-pièce en forme de lambda, symbole des langages de programmation fonctionnels
📆 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
Un emporte-pièce en forme de lambda, symbole des langages de programmation fonctionnels
📆 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/...
