Added Ringberg 2018 talk and corrected typos in the other abstracts.
Does what it says on the tin.
Does what it says on the tin.
merged
mentioned in commit 74b9f04d
Have you built this and uploaded it or would you like me to?
Only on my laptop. I have some more changes to the homepage text and then it's ready to be pushed.
I actually don't know how to do it...
No worries. Let me know when you're ready and I'll sort it. We really should get this git hooks thing sorted.