Marie Kerjean's Avatar

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/

184 Followers  |  302 Following  |  4 Posts  |  Joined: 14.01.2025  |  1.7031

Latest posts by mariekerjean.bsky.social on Bluesky

JFLA 2026 JFLA: JFLA 2026

⏰ 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 !

29.09.2025 09:41 — 👍 0    🔁 2    💬 0    📌 0
JFLA 2026 JFLA: JFLA 2026

⏰ 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 !

29.09.2025 09:41 — 👍 0    🔁 2    💬 0    📌 0
Preview
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...

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...

25.09.2025 10:28 — 👍 83    🔁 75    💬 7    📌 3

👩‍🔬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 !

23.09.2025 14:22 — 👍 333    🔁 223    💬 75    📌 12
FLoC 2026: The 9th Federated Logic Conference

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...

15.09.2025 23:08 — 👍 6    🔁 5    💬 0    📌 0
Preview
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

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...

01.09.2025 12:25 — 👍 17    🔁 6    💬 0    📌 0

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    📌 0

Et 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    📌 0
Post image

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 ?

26.03.2025 16:10 — 👍 42    🔁 9    💬 1    📌 0
Post image

#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/...

20.03.2025 16:30 — 👍 1    🔁 1    💬 0    📌 0
Post image

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/🧵

18.03.2025 23:27 — 👍 2006    🔁 836    💬 94    📌 93
Post image

#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...

06.03.2025 09:22 — 👍 4    🔁 3    💬 0    📌 0
Preview
Webinaire Coopération Internationale CNRS - Accueil FR - PremC

#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...

04.03.2025 11:25 — 👍 23    🔁 17    💬 1    📌 0
Preview
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

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/...

04.03.2025 06:39 — 👍 21    🔁 21    💬 1    📌 0
Post image

#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…

11.02.2025 17:26 — 👍 5    🔁 6    💬 1    📌 0
Steep – Soutenabilité, Transition, Environnement, Économie biophysique et Politiques locales

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.

10.02.2025 07:59 — 👍 20    🔁 9    💬 4    📌 1

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    📌 0
Preview
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

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. ✨

27.01.2025 10:06 — 👍 44    🔁 15    💬 2    📌 0

Le 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

@mariekerjean is following 20 prominent accounts