← Feed

Posts

• View post

  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.

• View post

  Arrived at the Aussois CNRS center. I’ve known worse.

• View post

  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 ✨

• View post

  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.

• View post

  🧑‍🏫 (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

• View post

  🎉 Reminder: we have scholarships to attend FLoC and its mentoring workshops! ⏰Deadline: April 13th 🔗 Information and application link : https://www. floc26.org/mentoring-workshop

• View post

  If one could invent a keyboard sensitive to adults’ hands but insensitive to baby’s fingers that would be great, thanks. #sorryforthetypos

• View post

  A little stroll near the house

• View post

  ☀️ 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/

• View post

  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.

• View post

  @xenaproject (the code should not be read, It should be compiled, blablablabla)

• View post

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

• View post

  In Tokyo for the next six months !

• View post

  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.

• View post

  📣 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

• View post

  📣 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