Urgh I missed the #SPLS keynote because I was too busy attending a friend’s lecture, and surprising old colleagues. Worth it though.
The looks of recognition from old friends and colleagues faces was nice to have.
Urgh I missed the #SPLS keynote because I was too busy attending a friend’s lecture, and surprising old colleagues. Worth it though.
The looks of recognition from old friends and colleagues faces was nice to have.
That’s #SPLS done at Strathclyde for another two years! Hosted by @mspstrath with sponsorship from #SICSA.
A nice line up of talks, and a wonderful preview of #SPLV26 as hosted by our friends at Glasgow.
Looking forward to seeing what St Andrews has installed for the next edition.
Indded, it would be lovely to host.
For #SPLS see https://spli.scot/spls/ for more details.
Pygments but integrates with katla.
As much as I like katla, using it in papers/beamer is a bit of a pain. I need to re format the highlighted code.
Guess what I’ll be doing on the bus tomorrow! #spls
Arg: Today's lecture was on Information Flow.
At today's #SPLS there was a talk on Declassification!
Urgh, one day I will get to go to another SPLS....
For obvious reasons I’m very sad to be missing the in-person component of #spls today :-( so many local people I’ve not said hello to for ages!
I have to stay home for late afternoon childcare.
Hopefully I can follow along online.