Reposted by Marie KerjeanNicolas Holzschuch @nholzschuch.bsky.social · 06/09/2026Skiing/cycling/motorcycling: you can only go as fast as you can brake. Programming: you can only code as fast as you can debug. 011
Reposted by Marie KerjeanFLoC 2026 @floc2026.bsky.social · 18/07/2026FLoC workshops are in full swing! 🚀 Today: ASPOCP, CARLA, CPSATDP, DefDesKR, DL, DPSOLVE, ELASP, EULP, FMQC, GALOP, ICLP-DC-SS, IFIP16, ITRS, LCC, LSFA, ML4SP, MoST, MSFP, NMR, OVERLAY, PC, RCRA, SKILLED-LLMs, SmP, ST4DM, SteamingNeSy, TGD, TLLA. Explore the program here: www.floc26.org/programfloc26.orgFLoC 2026: The 9th Federated Logic Conference 021
Marie Kerjean @mariekerjean.bsky.social · 18/07/2026#FLoC26, here we go. I'm co-chairing two workshops this weekend: MSFP today and the 1st mentoring workshop tomorrow. Both have great programs, have a look and come to listen! 🔗 program.floc26.org/MSFP-index 🔗 program.floc26.org/MW1-indexprogram.floc26.orgFederated Logic Conference 2026 — MSFP — Program 000
Reposted by Marie KerjeanMagali Reghezza @magalireghezza.eurosky.social · 23/06/2026« Jean Jouzel ne veut pas baisser les bras. ‘+1,5°C c’est terminé, +2°C, ça va être difficile, mais ça RESTE possible. Si on ne se bat pas, on n’y arrivera pas’. » CQFD. Le reste, c’est de la diversion. Il est temps de mettre la décarbonation à l’agenda politique. www.lemonde.fr/planete/arti...lemonde.frEn pleine canicule, les climatologues atterrés par le « déni de responsabilité » des politiques face au changement climatiqueValérie Masson-Delmotte, Jean Jouzel ou Christophe Cassou regrettent que les alertes formulées depuis des années par la communauté scientifique sur les conséquences du réchauffement climatique n’aient... 29691420
Reposted by Marie KerjeanDr. Holly Walters @manigarm.bsky.social · 17/05/2026I'm sorry, what? In writing my first monograph, I spent six weeks trying to track down a citation in TWO languages I didn't know. And good thing too, because the citation was wrong. That's scholarship. That's research. You know, the thing we're trained to do?!? 484112332255
Reposted by Marie KerjeanDavid Monniaux @monniauxd.bsky.social · 10/04/2026Je rappelle que tous les agents de l'État, y compris dans l'enseignement supérieur et la recherche, ont accès à la Suite numérique (fonctions cloud, traitement de textes partagé, etc.): lasuite.numerique.gouv.frlasuite.numerique.gouv.frLaSuite - L'espace de travail ouvert et souverain des agents de l'ÉtatUne suite cohérente d'outils open source, sécurisés et simples d'utilisation, conçus pour aider les agents publics à créer, organiser, décider et collaborer en toute confiance. 139950
Reposted by Marie KerjeanAlexandra Delbot @alexandradelbot.bsky.social · 09/04/2026C'est le constat édifiant mené sur 13 000 scientifiques danois. En retraçant leurs carrières sur plus de 20 ans, cette nouvelle étude révèle qu'un tiers des femmes devenues mères quittent la recherche. Un effet absent chez les hommes et qui pourrait expliquer le phénomène du "tuyau percé".radiofrance.frUne femme sur trois quitte la recherche académique après avoir eu un enfantC'est le constat édifiant mené sur 13.000 scientifiques danois. En retraçant sur plus de 20 ans leurs carrières scientifiques, cette nouvelle étude révèle que les mères quittent massivement la recherche - un effet absent chez les hommes et qui pourrait expliquer le phénomène du "tuyau percé". 5225159
Marie Kerjean @mariekerjean.bsky.social · 26/03/2026📣 A one-year post-doctoral position, renewable for a further year, is open as part of the DiPLO ANR project. 🍂 The successful candidate will start in the autumn of 2026 and work at the LIPN lab, within the LoCal team, under my supervision. Do not hesitate to contact me ! 001
Marie Kerjean @mariekerjean.bsky.social · 24/03/2026🎉 Reminder: we have scholarships to attend @floc2026.bsky.social and its mentoring workshops! ⏰Deadline: April 13th 🔗 Information and application link : www. floc26.org/mentoring-workshopfloc26.orgFLoC 2026: The 9th Federated Logic Conference 001
Marie Kerjean @mariekerjean.bsky.social · 03/03/2026📣 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...floc26.orgFLoC 2026: The 9th Federated Logic Conference 000
Reposted by Marie KerjeanMarie Kerjean @mariekerjean.bsky.social · 02/03/2026 📣 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!msfp-workshop.github.ioMathematically Structured Functional Programming 2026 001
Marie Kerjean @mariekerjean.bsky.social · 02/03/2026 📣 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!msfp-workshop.github.ioMathematically Structured Functional Programming 2026 001
Reposted by Marie KerjeanCNRS Sciences informatiques @cnrsinformatics.bsky.social · 11/02/2026À 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/... 057
Reposted by Marie KerjeanSgùrr Thuilm @sgurrthuilm.eurosky.social · 21/01/2026Si 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/categorieseuropean-alternatives.euService categories | European AlternativesList of all categories on European Alternatives 19414285
Marie Kerjean @mariekerjean.bsky.social · 12/01/2026On my way to Rennes to attend the CPP conference ! Looking forward to chat with everyone and learn new cool stuff ! 110
Reposted by Marie KerjeanMarie Kerjean @mariekerjean.bsky.social · 13/12/2025📆 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 022
Marie Kerjean @mariekerjean.bsky.social · 13/12/2025📆 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 022
Reposted by Marie KerjeanCNRS @cnrs.fr · 25/11/2025#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 33040
Marie Kerjean @mariekerjean.bsky.social · 18/11/2025📢 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.htmljfla.inria.frJFLA 2026JFLA: JFLA 2026 000
Reposted by Marie KerjeanCNRS @cnrs.fr · 10/11/2025#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... 24039
Reposted by Marie KerjeanCollège de France @college-de-france.fr · 29/10/2025#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 👉 tinyurl.com/mr3f7fjd 042
Reposted by Marie KerjeanDavid Monniaux @monniauxd.bsky.social · 26/10/2025Mê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...lemonde.frDavid Monniaux, directeur de recherche au CNRS : « Que se passerait-il si Trump ordonnait aux Gafam de cesser leurs services cloud à l’égard de nos gouvernements ? »TRIBUNE. Dans une tribune au « Monde », le chercheur souligne les dangers de la dépendance numérique européenne à l’égard des géants du Web, soumis à la législation américaine. 36112
Reposted by Marie KerjeanMarie Kerjean @mariekerjean.bsky.social · 29/09/2025⏰ 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 !jfla.inria.frJFLA 2026JFLA: JFLA 2026 002
Marie Kerjean @mariekerjean.bsky.social · 29/09/2025⏰ 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 !jfla.inria.frJFLA 2026JFLA: JFLA 2026 002
Reposted by Marie KerjeanDr Elodie Chabrol @eloscicomm.bsky.social · 23/09/2025👩🔬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 ! 74348232
Reposted by Marie KerjeanLoris D'Antoni @lorisdanto.bsky.social · 16/09/2025The 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...floc26.orgFLoC 2026: The 9th Federated Logic Conference 065
Reposted by Marie KerjeanNicolas Holzschuch @nholzschuch.bsky.social · 23/06/2025Le 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. 102
Marie Kerjean @mariekerjean.bsky.social · 24/04/2025[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 ? 000
Reposted by Marie KerjeanLa Science, CQFD @sciencecqfd.bsky.social · 27/03/2025Et hop ! La démonstration du dernier théorème de Fermat à l'antenne de @franceculture.fr, c'est maintenant ! 3249
Reposted by Marie KerjeanLa Science, CQFD @sciencecqfd.bsky.social · 26/03/2025Et 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 ? 1429
Reposted by Marie KerjeanCNRS Sciences informatiques @cnrsinformatics.bsky.social · 20/03/2025#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/... 011
Reposted by Marie KerjeanCollège de France @college-de-france.fr · 06/03/2025#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... 043
Reposted by Marie KerjeanCNRS @cnrs.fr · 04/03/2025#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...premc.orgWebinaire Coopération Internationale CNRS - Accueil FR - PremC 12217
Reposted by Marie KerjeanCarola Doerr @caroladoerr.bsky.social · 04/03/2025Job 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/...ins2i.cnrs.frChoose France - CNRS AI Rising TalentsAs part of the French Strategy in Artificial Intelligence (AI), the Choose France - CNRS AI Rising Talents program offers exceptionally tal 12121
Reposted by Marie KerjeanCNRS Sciences informatiques @cnrsinformatics.bsky.social · 11/02/2025#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… 157
Reposted by Marie KerjeanCNRS @cnrs.fr · 27/01/2025Le 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. ✨cnrs.frRéinventer le numérique au féminin500 élèves réunis par le CNRS et le Rectorat de Paris ont rencontré les Décodeuses du numérique, des héroïnes de bande dessinée et des scie 24415