⏰ 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 !
@mariekerjean.bsky.social
Researcher in Theoretical Computer Science at the LIPN. #Logic and Analysis, mainly. Pronouns : She/her 🔗 https://lipn.univ-paris13.fr/~kerjean/
⏰ 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 !
Vous pouvez soutenir ma proposition à la Cour des Comptes d'examiner les marchés publics de voyagistes, notamment dans l'ESR :
participationcitoyenne.ccomptes.fr/processes/co...
👩🔬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...
An overwhelming majority of members of the world’s leading genocide scholars’ association have backed a resolution stating that Israel’s actions in Gaza meet the legal definition of the crime.
Time for those who dismissed scholars who raised the alarm to speak out
www.theguardian.com/world/2025/s...
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.
23.06.2025 12:08 — 👍 0 🔁 2 💬 1 📌 0[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 ?
24.04.2025 13:06 — 👍 0 🔁 0 💬 0 📌 0Et hop ! La démonstration du dernier théorème de Fermat à l'antenne de @franceculture.fr, c'est maintenant !
27.03.2025 15:01 — 👍 24 🔁 9 💬 3 📌 0Et 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 ?
26.03.2025 16:10 — 👍 42 🔁 9 💬 1 📌 0#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/...
There are days in life that shake you.
I’m shattered 💔 to share that I just found out that the US Government terminated my 2024 NIH Director’s Early Independence Award (~$2 million), threatening my long-promised assistant professor job at Columbia University
& academic career... 1/🧵
#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…
Si des journalistes cherchent des chercheurs/euses sur les impacts de la tech:
steep.inria.fr
ecoinfo.cnrs.fr
cis.cnrs.fr
www-verimag.imag.fr/-ETiCS-.html...
team.inria.fr/spades/quint...
Liste non exhaustive, j'ai juste pris les équipes où je connais des gens ou proches de moi.
Le détournement de l'open access à travers le scandale des APC (regardez comme ils se gavent!!!)
31.01.2025 15:05 — 👍 16 🔁 8 💬 2 📌 0Le 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. ✨
27.01.2025 10:06 — 👍 44 🔁 15 💬 2 📌 0Le domaine de Roiffé !
27.01.2025 13:11 — 👍 1 🔁 0 💬 0 📌 0😳 Aouch ça fait peur …
27.01.2025 12:56 — 👍 3 🔁 0 💬 0 📌 0