* 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.