An end-of-term pub gathering

I've spent the last few hours at a pub gathering and am still there (or here). It's an end-of-term meal organised by a mature student for other mature students. The turnout was above 25 but is down to about 10 now, given that it's deep into the evening and now heading towards the night.