Weeknotes 2025-W24 › A distinguished paper at LICS 2025 [01C0]

I was really pleased to find out that my paper with Andrew Slattery on Hofmann–Streicher lifting of fibred categories has been selected as a distinguished paper by the LICS 2025 programme committee. Andrew and I will be preparing a longer and more detailed version of this paper for publication in a special issue of Logical Methods in Computer Science. Congratulations, Andrew!