Sign in

Marie Kerjean

@mariekerjean.bsky.social
297 followers 331 following 20 posts

Researcher in Theoretical Computer Science at the LIPN. #Logic and Analysis, mainly. Pronouns : She/her 🔗 lipn.univ-paris13.fr/~kerjean

PostsRepliesMedia
Reposted by Marie Kerjean
Nicolas Holzschuch @nholzschuch.bsky.social · 06/09/2026
Skiing/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 Kerjean
FLoC 2026 @floc2026.bsky.social · 18/07/2026
FLoC 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/program
floc26.org
FLoC 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-index
program.floc26.org
Federated Logic Conference 2026 — MSFP — Program
000
Reposted by Marie Kerjean
Magali 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.fr
En pleine canicule, les climatologues atterrés par le « déni de responsabilité » des politiques face au changement climatique
Valé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 Kerjean
Dr. Holly Walters @manigarm.bsky.social · 17/05/2026
I'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?!?
The reactions of some researchers on Twitter finally being held responsible for not having read the very paper they submitted are... something. Mainly, they don't think they should have to check every citation or make sure the data is real and accurate. Because it's too hard, I guess.
484112332255
Reposted by Marie Kerjean
David Monniaux @monniauxd.bsky.social · 10/04/2026
Je 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.fr
lasuite.numerique.gouv.fr
LaSuite - L'espace de travail ouvert et souverain des agents de l'État
Une 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 Kerjean
Alexandra Delbot @alexandradelbot.bsky.social · 09/04/2026
C'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.fr
Une femme sur trois quitte la recherche académique après avoir eu un enfant
C'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-workshop
floc26.org
FLoC 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.org
FLoC 2026: The 9th Federated Logic Conference
000
Reposted by Marie Kerjean
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.io
Mathematically 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.io
Mathematically Structured Functional Programming 2026
001
Reposted by Marie Kerjean
CNRS 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
Marie Kerjean @mariekerjean.bsky.social · 11/02/2026
In Tokyo for the next 6 months !
A Japanese garden with a pound and buildings in the background. A flowering plum tree in the foreground.
030
Reposted by Marie Kerjean
Sgùrr Thuilm @sgurrthuilm.eurosky.social · 21/01/2026
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
european-alternatives.eu
Service categories | European Alternatives
List of all categories on European Alternatives
19414285
Marie Kerjean @mariekerjean.bsky.social · 12/01/2026
On my way to Rennes to attend the CPP conference ! Looking forward to chat with everyone and learn new cool stuff !
110
Reposted by Marie Kerjean
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
Un emporte-pièce en forme de lambda, symbole des langages de programmation fonctionnels
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
Un emporte-pièce en forme de lambda, symbole des langages de programmation fonctionnels
022
Reposted by Marie Kerjean
CNRS @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.html
jfla.inria.fr
JFLA 2026
JFLA: JFLA 2026
000
Reposted by Marie Kerjean
CNRS @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 Kerjean
Collè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 Kerjean
David Monniaux @monniauxd.bsky.social · 26/10/2025
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...
lemonde.fr
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.
36112
Reposted by Marie Kerjean
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.fr
JFLA 2026
JFLA: 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.fr
JFLA 2026
JFLA: JFLA 2026
002
Reposted by Marie Kerjean
Dr 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 Kerjean
Loris D'Antoni @lorisdanto.bsky.social · 16/09/2025
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...
floc26.org
FLoC 2026: The 9th Federated Logic Conference
065
Reposted by Marie Kerjean
Nicolas Holzschuch @nholzschuch.bsky.social · 23/06/2025
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.
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 Kerjean
La Science, CQFD @sciencecqfd.bsky.social · 27/03/2025
Et hop ! La démonstration du dernier théorème de Fermat à l'antenne de @franceculture.fr, c'est maintenant !
3249
Reposted by Marie Kerjean
La Science, CQFD @sciencecqfd.bsky.social · 26/03/2025
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 ?
1429
Reposted by Marie Kerjean
CNRS 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 Kerjean
Collè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 Kerjean
CNRS @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.org
Webinaire Coopération Internationale CNRS - Accueil FR - PremC
12217
Reposted by Marie Kerjean
Carola Doerr @caroladoerr.bsky.social · 04/03/2025
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/...
ins2i.cnrs.fr
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
12121
Reposted by Marie Kerjean
CNRS 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 Kerjean
CNRS @cnrs.fr · 27/01/2025
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. ✨
cnrs.fr
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
24415