* People introduced
themselves in a reasonably civil manner.
* I spoke about a Monstrously Long Proof that is more or less accepted
by the relevant academic community and wondered aloud whether this ought
to be the case.
* In a wonderful display of camaraderie, everybody else united against
the view I put forward.
* We resolved to make the structure even less formal and, apart from
discussions on the nature of proof, to also have sessions where people
present accesible problems and/or explain a bit of whatever without
slides, chalk or little red lights.