Marie Kerjean
@mariekerjean.bsky.social
Researcher in Theoretical Computer Science at the LIPN. #Logic and Analysis, mainly.
Pronouns : She/her
🔗 https://lipn.univ-paris13.fr/~kerjean/
Pronouns : She/her
🔗 https://lipn.univ-paris13.fr/~kerjean/
📢 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
🔗 jfla.inria.fr/jfla2026.html
JFLA 2026
JFLA: JFLA 2026
jfla.inria.fr
November 18, 2025 at 3:03 PM
📢 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
🔗 jfla.inria.fr/jfla2026.html
Reposted by Marie Kerjean
#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...
👉 www.cnrs.fr/fr/actualite/eu...
November 10, 2025 at 10:02 AM
#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...
👉 www.cnrs.fr/fr/actualite/eu...
Reposted by Marie Kerjean
#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
💻 « 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
October 29, 2025 at 11:02 AM
#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
💻 « 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
Reposted by Marie Kerjean
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...
www.lemonde.fr/idees/articl...
David 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.
www.lemonde.fr
October 26, 2025 at 8:07 AM
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...
www.lemonde.fr/idees/articl...
Reposted by Marie 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 !
🔗 jfla.inria.fr/jfla2026.html
☀️ Les JFLA c’est un programme incroyable et un auditoire toujours fabuleux, venez nombreuses et nombreux !
JFLA 2026
JFLA: JFLA 2026
jfla.inria.fr
September 29, 2025 at 9:41 AM
⏰ 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.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 !
🔗 jfla.inria.fr/jfla2026.html
☀️ Les JFLA c’est un programme incroyable et un auditoire toujours fabuleux, venez nombreuses et nombreux !
JFLA 2026
JFLA: JFLA 2026
jfla.inria.fr
September 29, 2025 at 9:41 AM
⏰ 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.fr/jfla2026.html
☀️ Les JFLA c’est un programme incroyable et un auditoire toujours fabuleux, venez nombreuses et nombreux !
Reposted by Marie Kerjean
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...
participationcitoyenne.ccomptes.fr/processes/co...
Les marchés publics de voyagistes - Contributions - 2025 - Aidez-nous à enrichir notre programme de travail - Plateforme de participation de la Cour des Comptes
Corps de la contributionLes administrations et opérateurs publics, notamment ceux de l'enseignement supérieur et de la recherche, fond appel à des agences de voyage (FCM, TravelPlanet…) pour l'hôtelle...
participationcitoyenne.ccomptes.fr
September 25, 2025 at 10:28 AM
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...
participationcitoyenne.ccomptes.fr/processes/co...
Reposted by Marie Kerjean
👩🔬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 !
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 !
September 23, 2025 at 2:22 PM
👩🔬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 !
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 !
Reposted by Marie Kerjean
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...
Thousands will attend—an excellent chance for companies to showcase their presence. Interested in sponsoring? Details www.floc26.org/sponsors/FLo...
FLoC 2026: The 9th Federated Logic Conference
www.floc26.org
September 15, 2025 at 11:08 PM
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...
Thousands will attend—an excellent chance for companies to showcase their presence. Interested in sponsoring? Details www.floc26.org/sponsors/FLo...
Reposted by Marie Kerjean
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...
Time for those who dismissed scholars who raised the alarm to speak out
www.theguardian.com/world/2025/s...
Israel committing genocide in Gaza, world’s top scholars on the crime say
International Association of Genocide Scholars resolution backed by 86% of members who voted
www.theguardian.com
September 1, 2025 at 12:25 PM
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...
Time for those who dismissed scholars who raised the alarm to speak out
www.theguardian.com/world/2025/s...
Reposted by Marie Kerjean
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.
June 23, 2025 at 12:08 PM
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 ?
April 24, 2025 at 1:06 PM
[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 ?
Reposted by Marie Kerjean
Et hop ! La démonstration du dernier théorème de Fermat à l'antenne de @franceculture.fr, c'est maintenant !
[RDV 16h !] Un projet collaboratif a formalisé la preuve du théorème de Fermat pour l’apprendre à un ordinateur. Quel est l’enjeu de cette formalisation ? Qu’est-ce qu’un assistant de preuve et quel est son rôle en mathématiques ? tinyurl.com/2dfebe9j avec Riccardo Brasca et Assia Mahboubi
March 27, 2025 at 3:01 PM
Et hop ! La démonstration du dernier théorème de Fermat à l'antenne de @franceculture.fr, c'est maintenant !
Reposted by Marie Kerjean
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 ?
March 26, 2025 at 4:10 PM
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 ?
Reposted by Marie Kerjean
#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/...
➡️ www.ins2i.cnrs.fr/en/cnrsinfo/...
March 20, 2025 at 4:30 PM
#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/...
➡️ www.ins2i.cnrs.fr/en/cnrsinfo/...
Reposted by Marie Kerjean
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/🧵
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/🧵
March 18, 2025 at 11:27 PM
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/🧵
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/🧵
Reposted by Marie Kerjean
#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...
"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...
March 6, 2025 at 9:22 AM
#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...
"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...
Reposted by Marie Kerjean
#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...
📅 Inscrivez-vous pour plus d'infos : premc.org/fr/coop-inte...
Webinaire Coopération Internationale CNRS - Accueil FR - PremC
premc.org
March 4, 2025 at 11:25 AM
#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...
📅 Inscrivez-vous pour plus d'infos : premc.org/fr/coop-inte...
Reposted by Marie Kerjean
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/...
Applications due 31/03
www.ins2i.cnrs.fr/en/cnrsinfo/...
Choose France - CNRS AI Rising Talents
As part of the French Strategy in Artificial Intelligence (AI), the Choose France - CNRS AI Rising Talents program offers exceptionally tal
www.ins2i.cnrs.fr
March 4, 2025 at 6:39 AM
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/...
Applications due 31/03
www.ins2i.cnrs.fr/en/cnrsinfo/...
Reposted by Marie Kerjean
#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…
➡️ ins2i.cnrs.fr/fr/cnrsinfo/la…
February 11, 2025 at 5:27 PM
#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…
➡️ ins2i.cnrs.fr/fr/cnrsinfo/la…
Reposted by Marie Kerjean
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.
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.
Steep – Soutenabilité, Transition, Environnement, Économie biophysique et Politiques locales
steep.inria.fr
February 10, 2025 at 7:59 AM
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.
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.
Reposted by Marie Kerjean
Le détournement de l'open access à travers le scandale des APC (regardez comme ils se gavent!!!)
January 31, 2025 at 3:06 PM
Le détournement de l'open access à travers le scandale des APC (regardez comme ils se gavent!!!)
Reposted by Marie Kerjean
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. ✨
Réinventer le numérique au féminin
500 é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
www.cnrs.fr
January 27, 2025 at 10:06 AM
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. ✨