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.
Marie Kerjean
@mkerjean@lipn.info
mastodon
4.5.3
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory.
Pronouns : She/her
0
Followers
0
Following
Joined May 09, 2022
Posts
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
@mkerjean@lipn.info
·
4d ago
8
0
0
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
@mkerjean@lipn.info
·
Apr 10, 2026
☀️ 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/
🔗 https://msfp-workshop.github.io/msfp2026/
5
0
7
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
@mkerjean@lipn.info
·
Apr 08, 2026
It's the end of a joyful three days in Kyoto. I want to thank my co-organisers who really did all the work before and on-site, taking my hands off everything. Thank you to Jean-Simon Pacaud Lemay and in particular to Zeinab Galal, who single handheld all the local organisation.
4
0
0
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
@mkerjean@lipn.info
·
Apr 03, 2026
A little stroll near the house
7
0
0
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
@mkerjean@lipn.info
·
Apr 01, 2026
If one could invent a keyboard sensitive to adults’ hands but insensitive to baby’s fingers that would be great, thanks. #sorryforthetypos
12
0
0
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
@mkerjean@lipn.info
·
Mar 26, 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 !
🍂 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 !
1
0
18
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
@mkerjean@lipn.info
·
Mar 24, 2026
🎉 Reminder: we have scholarships to attend FLoC and its mentoring workshops!
⏰Deadline: April 13th
🔗 Information and application link :
https://www
floc26.org/mentoring-workshop
⏰Deadline: April 13th
🔗 Information and application link :
https://www
floc26.org/mentoring-workshop
1
0
5
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
@mkerjean@lipn.info
·
Mar 21, 2026
@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).
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).
1
1
0
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
@mkerjean@lipn.info
·
Mar 11, 2026
@antoinechambertloir oh, for me it meant « crying with joy » but I’m no expert, I’ve might have done it wrong
2
2
0
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
@mkerjean@lipn.info
·
Mar 11, 2026
@antoinechambertloir great news indeed !
0
2
0
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
@mkerjean@lipn.info
·
Mar 11, 2026
@antoinechambertloir I did, and just received news that we will indeed have free childcare near the workshop from 9am to 5pm 😭
4
2
0
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
@mkerjean@lipn.info
·
Mar 11, 2026
📣 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 free but mandatory, even for online participation.
🔗 https://sites.google.com/view/differential-kyoto-2026/home
2
1
4
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
@mkerjean@lipn.info
·
Mar 10, 2026
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.
3
2
0
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
@mkerjean@lipn.info
·
Mar 10, 2026
Just learnt that when you’re attending a workshop organized by the RIMS, at the university of Kyoto, the department can organize *and fund* childcare in a room nearby. You just have to ask a month before. Simple as that.
24
1
13
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
@mkerjean@lipn.info
·
Mar 03, 2026
📣 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
🇵🇹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
2
0
8
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
@mkerjean@lipn.info
·
Feb 11, 2026
@MathieuP tombés dessus par hasard en allant faire nos papiers à la mairie, c’était une jolie surprise !
0
0
0
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
@mkerjean@lipn.info
·
Feb 10, 2026
In Tokyo for the next six months !
16
3
0
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
@mkerjean@lipn.info
·
May 26, 2023
@xenaproject (the code should not be read, It should be compiled, blablablabla)
6
0
2