I gave a research lecture to students today at #TypeSig #Triple. #UoE The topic was that of my #TYPES2025 talk: Being Positively Negative About Dependent Types.

Great range of speakers from organisers, even though it was @mspstrath heavy! One student came at the end to say they enjoyed the talk as it was accessible to them. I like that.

Also nice to see the other talks in the tracks I attended. Especially those that are related! (Two sided type systems)

The journey home even gave me space to think about research…

the University and College Union at University of Edinburgh have voted in favour of strike action in response to potential 1800 job loses and another round of massive cuts. (background here: https://www.ucu.org.uk/article/14418/New-strike-ballot-at-Edinburgh-University-in-dispute-over-cuts-and-job-losses, no announcement yet)

This is at Edinburgh, where the principal did not know **his own salary** when asked at a Scottish Parliament committee https://www.edinburghlive.co.uk/news/edinburgh-news/edinburgh-university-boss-who-didnt-31811867. (It is almost 500k)

Another sign of broken higher education in the UK. Solidarity with UoE staff ✊

#he #union #unionstrong #uoe #ucu #ucu_strike

'A reminder that the official quiet period is Wed 16 - Fri 25 July. Meetings and emails to a minimum, please'

(in the same email)

'Once more there will be Underbelly Fringe venues within the Elsie Inglis Quad, dates for works as follows.

Construction: 16-29 July'

#edinburgh #festival #edinburghfringe #edfridge #uoe

Starting to prepare my application for TeamEPCC for the Student Cluster Competition at ISC 2025, Hamburg, Germany.

Let's see if I can make it to the team haha! 🙏

#isc2025 #teamepcc #epcc #hpc #uoe #edinburgh #uniofedinburgh #supercomputing #cluster #coding #programming #competiton

Robyn Woof, Trans and Non-Binary Liberation Officer, has resigned from her positions at Edinburgh University following the appointment of Simon Fanshawe as Rector.

“It’s impossible for me to achieve anything campaigning against transphobia through the university’s official processes so I am resigning in protest and will instead begin a campaign of direct action”

https://studentnewspaper.org/breaking-trans-and-non-binary-liberation-officer-robyn-woof-resigns-in-protest-of-transphobia-at-university/

#UoE #UofE #UniversityofEdinburgh #EdinburghUniversity #SimonFanshawe #Transphobia

Heard via Resisting Transphobia Edinburgh about these actions being organised against Simon Fanshawe, an anti-trans activist who helped set up the hate group LGB Alliance, being named Rector of Edinburgh University:

- Open letter from students and staff: https://docs.google.com/document/d/1ARVPGVu18tbrb0BQFQix-FOjFdBhnu_QFNEoyTQTli0/edit
- Open letter from alumni: https://organise.network/actions/petition-edinburgh-university-alumni-aga-lqNmIgBU/saf/take-action?medium=share

#SimonFanshawe #UoE #UofE #Edinburgh #UniversityOfEdinburgh #EdinburghUniversity #Transphobia #Petition