Mastodon Feed
Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
fnf@mathstodon.xyz ("Fredrik Nordvall Forsberg") wrote:
The TYPES 2025 post-proceedings have been published!
https://www.dagstuhl.de/dagpub/978-3-95977-441-3
Due to the efficiency of the Dagstuhl staff, some extra work was created for them by having to change the publication date from August to July.
Thanks to all authors and reviewers for all the hard working going into making this an excellent volume.