Marie Kerjean

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

📣 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

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.

📣 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

In Tokyo for the next six months !