I just spent a fun few days in Glasgow, where I was in town for Malin Altenmüller's (https://maltenmuller.github.io/) successful viva at Strathclyde! I really enjoyed Malin's thesis work and it's always a pleasure to visit the @mspstrath.

Une autre époque

@noamzoam The blog post is a delightful read. True the policy change took longer than it should have, but it is a story of perseverance and eventual success (and some great stories of how mathematicians were able to balance career and family).

RE: https://social.sciences.re/@pyviv/115655070615908419 I did not realize that CIRM had a "no babies" policy until as recently as 2015. Thankfully, this has changed. Viviane Pons describes the process in this blog post (in English).

[teaching / functional programming project / Lambek calculus / new AI vs old AI] Every year in my functional programming course I assign a mini-project for students to complete in small groups, as a significant portion of their course grade. The topic varies […] [Original post on mathstodon.xyz]

@MartinEscardo is turning 60 this year! In celebration, Eric Finster and I are organizing a two-day workshop on 17-18 December 2025 at the University of Birmingham. https://tdejong.com/mhe60 The full list of over 20 invited speakers can be found on the website and reflects Martín's diverse […]

Are you a PhD student registered in a US institution and interested in conducting part of your doctoral research (4-9 months) in France? Then consider applying for a Chateaubriand Fellowship! https://chateaubriand-fellowship.org/

I've just realized that I missed a trick by not posting here on Mastodon about a project to create a database of "motivated proofs", which has received funding from the AI for Math Fund, a joint venture of Renaissance Philanthropies and XTX Markets. Very roughly, that means not just proofs but […]

Visited the library of the Institut Henri Poincaré yesterday, and they had a small rack with free-for-taking copies of some old journals. Was delighted to find a copy of the issue of Communications of the ACM containing the original article on Hoare logic!

Mike Wright has been a long-time recorder of talks at conferences, including category theory conferences. He has a huge archive of recordings (>100k hours) and needs support to digitise them and make the archive freely available online. There are talks going back 50 years, and the project will […]

An interesting MO question from @noamzoam, that someone here might know the answer to. https://mathoverflow.net/questions/498407/on-joyals-definition-of-a-category-of-plane-trees

Every logician knows about Peirce’s law, this curious tautology equivalent to the law of excluded middle that uses only the implication connective. Less known is that around 1896, Peirce invented the first diagrammatic proof system in history, predating string diagrams in category theory and […]

A lesser known fact about Saunders Mac Lane is that he wrote a thesis in logic, completed in 1933 at Göttingen under the direction of Bernays and Weyl. I'm at the library and pulled out a copy of "Saunders Mac Lane : Selected Papers", which in addition to […] [Original post on mathstodon.xyz]

In my whole career as a university educator, there have been two major disrupting events: Covid and generative AI. None of them made the students any favour. Or the educators. But for the educators these are only headaches (big headaches, granted). For the students it is much worse. When […]

I've mentioned this paper by @pamellies and myself before, and the main contents are by now 1.5-3 years old, but I'm happy to report that the final version of the paper has at last been published by LMCS: * The categorical contours of the Chomsky-Schützenberger representation theorem […]

Somehow ended up clicking to the "Donald Knuth" page on "Celebrity Birthdays", and I wonder how these things are generated.

I gave a tutorial talk today about "(generalized) fibrations for logic, automata and language theory", mainly focused on the automata part. Slides if you are interested: https://noamz.org/talks/dagstuhl.tutorial.2025.04.02.pdf

just read Oleg Kiselyov's blog post "do-while loops have always been in OCaml" (https://okmij.org/ftp/ML/index.html#do-while), and laughed out loud when I got to the punchline. I haven't done any OCaml programming in a long time but it makes me want to try it again, surely a beautiful language […]

I really enjoyed this "Public Address on Generative Linguistics" by Matilde Marcolli: https://www.youtube.com/watch?v=-gx3SK7FvKk Marcolli is a mathematical physicist and recent [!] collaborator of Noam Chomsky. This lecture from Oct 2023 is broadly about […] [Original post on mathstodon.xyz]

I'm pleased to announce that the Heyting Day will be held in Amsterdam on Friday 14 March 2025. Its theme will be models of #intuitionism and #computability and mark the retirement of Jaap van Oosten. The invited speakers are: - @andrejbauer (Ljubljana) - […] [Original post on mathstodon.xyz]