Marie Kerjean

mkerjean@lipn.info

<a href="https://lipn.info/tags/CNRS" class="mention hashtag" rel="tag">#CNRS</a> Researcher in the LoVe team, at the LIPN. <a href="https://lipn.info/tags/Logic" class="mention hashtag" rel="tag">#Logic</a> and Analysis, through <a href="https://lipn.info/tags/semantics" class="mention hashtag" rel="tag">#semantics</a> and <a href="https://lipn.info/tags/TypeTheory" class="mention hashtag" rel="tag">#TypeTheory</a>. Pronouns : She/her

Posts

Post #4188924
🧑‍🏫 (Most of) The slides for the 1st mentoring workshop at FLoC&#39;26 #FLoC26 are now online ! Ready for the 2nd mentoring workshop tomorrow ! 🔗 https://www.floc26.org/mentoring-workshop
Post #1402955
🎉 Reminder: we have scholarships to attend FLoC and its mentoring workshops! ⏰Deadline: April 13th 🔗 Information and application link : https://www. floc26.org/mentoring-workshop
Post #1402952
If one could invent a keyboard sensitive to adults’ hands but insensitive to baby’s fingers that would be great, thanks. #sorryforthetypos
Post #1402951
A little stroll near the house
Post #1402949
☀️ 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/
Post #1402948
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.
Post #1366387
@xenaproject (the code should not be read, It should be compiled, blablablabla)
Post #904127
📣 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 !
Post #652857
In Tokyo for the next six months !
Post #652856
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.
Post #652855
📣 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
Post #615306
📣 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