Kent University getting rid of their philosophy department really is shocking. I am friends with someone who got a PhD in inductive logic from Kent and who now works as a statistician in a biomedical lab (here's his latest paper! pubs.acs.org/doi/full/10.10…)

Now titles & abstracts and live-stream link available for ++ Running HoTT 2024++ here: ncatlab.org/nlab/show/CQTS… starting this Friday.

We are holding a workshop to celebrate the achievements of the @unikent philosophy department and to mark its demise. In person or online. All welcome! jonwilliamson.uk/conferences/ce…

Currently reading… David Corfield Matteo Pasquinelli

Prospects as of 17 years ago: golem.ph.utexas.edu/category/2007/…

Even longer have I been trying to sell category theory to philosophers. Here I am again (ncatlab.org/davidcorfield/…) telling them about CT & AI. This was at a 'Future of Humanities' event (nulondon.ac.uk/event-futureof…) -- ironic for someone in a department about to close.

University of Kent has gone ahead with its plans to slash the humanities and social sciences, and the Philosophy Department will be axed in July. Our department has achieved a huge amount in its 59 years. We'll mark the occasion on 14 June - all welcome! kent.ac.uk/philosophy/cel…

Oh, yikes, UK Higher Education has unlocked a whole new type of academic event. You've heard of seminars, of conferences, of inaugurals, of prize ceremonies, may we introduce: the wake for a shuttered previously stellar department? (the dates 😰 nearly 60) kent.ac.uk/philosophy/cel…

Starts in a hour.

A really lovely event. It showed the extraordinary continuity of intellectual attitude over 6 decades. A very engaged kind of Philosophy. Destroyed at Kent, but transmitted out into the world.

the gist in 1 slide:

Odd how little has been done with dependent types on event structure in linguistics. I made some sketchy remarks in 2.6 of my Modal HoTT book. Recently I see Pavel Kovalev, 'Modeling Telicity With Dependent Types', Indiana University, proquest.com/docview/309934…