Arrived at the Aussois CNRS center. I’ve known worse.
Remote
Marie Kerjean
@mkerjean@lipn.info
mastodon 4.7.2#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory.
Pronouns : She/her
609 Followers
364 Following
25 Posts
Joined May 09, 2022
It’s depressing to see people you admire pessimistic about the future of science, maths and proof assistants globally. I used to be optimistic, but tonight, after a day spent at slowly hand proving lemmas in mathcomp in between meetings, it’s a bit more difficult.
Trying very hard not to comment on today’s event in academia. Went for a very nice hike, and talking about reverse semantics tomorrow. Will hopefully enlighten logicians about the beauty of functional analysis ✨
My baby is not willing to sleep without me holding him, and the FLT has just been sloppily proved by AI. This is going to be a long night raging online on my phone.
🧑🏫 (Most of) The slides for the 1st mentoring workshop at FLoC'26 #FLoC26 are now online ! Ready for the 2nd mentoring workshop tomorrow !
🔗 https://www.floc26.org/mentoring-workshop
If one could invent a keyboard sensitive to adults’ hands but insensitive to baby’s fingers that would be great, thanks. #sorryforthetypos
Arf, lics paper rejected. After getting involved in PC discussion for a month, this is a bit frustrating - although a lot of excellent and probably better papers had to be rejected.
In Tokyo for the next six months !
A little stroll near the house
☀️ The 11th MSFP workshop will take place in Lisbon during FLoC! The application deadline is April 29th: feel free to submit an abstract or paper to share your work. Hope to see you in Lisbon this summer!
🔗 https://msfp-workshop.github.io/msfp2026/
Replying to
@koronkebitch Thank you for writing this article! I am also here for the people you might meet at a conference or during a research visit. My best memories are those sparks of joy that light up in someone’s eyes when they grasp something new during a discussion, whether it’s a colleague, a student or myself.
Happy to read that I am not the only one who thinks the best part of a thesis is the acknowledgements page (and I’m absolutely depressed to see that they’re becoming increasingly rare in recent theses).
Replying to
@RanaldClouston I know, although the C for competition seems more appropriate. Anyway, should have submitted in a journal, I’m too sleep deprived this year to handle well competitions.
Replying to
@antoinechambertloir I did, and just received news that we will indeed have free childcare near the workshop from 9am to 5pm 😭
Replying to
Of course, I’m learning that less than one month before the workshop, as I wasn’t expecting this to be possible. Sometimes universities offer to help organise childcare (most of the time it’s the workshop/conference organisers who are doing so), but I’ve never heard of the university simply funding childcare for everyone.
Replying to
@antoinechambertloir oh, for me it meant « crying with joy » but I’m no expert, I’ve might have done it wrong
📣 Last call for participation (onsite and online) for our workshop on Differentiation in category theory and program semantics, April 6-8 2026, Kyoto University.
❗️ Registration free but mandatory, even for online participation.
🔗 https://sites.google.com/view/differential-kyoto-2026/home
📣 Registration, Scholarships and Buddy Program at FLoC Mentoring Workshops !
🇵🇹The federated logic conference, 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 :
https://www.floc26.org/mentoring-workshop
📣 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 !
🎉 Reminder: we have scholarships to attend FLoC and its mentoring workshops!
⏰Deadline: April 13th
🔗 Information and application link :
https://www
floc26.org/mentoring-workshop
@xenaproject@mathstodon.xyz (the code should not be read, It should be compiled, blablablabla)
Replying to
@MathieuP tombés dessus par hasard en allant faire nos papiers à la mairie, c’était une jolie surprise !