Conference Dinner

The conference dinner will take place on **Thursday, 13th December** at 6:30pm at the Blue Baths (pictured), just a five minute walk from the Millennium Hotel, Rotorua.

**Please Note: **Registration to the conference includes a ticket to the conference dinner. Extra tickets for the dinner may be be purchased via the online registration form at $100 each.

As requested, below are the lyrics to the evening's stellar musical performance:

**IT'S THE PROOF THAT WE WANT **(Lyrics: Cavenagh and Wanless)

I've got Lagrange multipliers

And they're giving me control

Of this function I'm analyzing

It's maximizing!

*You better shape up.
Your notation stinks
your lemmas lack transparency, *

*You better shape up.*

You gotta generalize!

You need a thorough lit review. Yes you do

You gotta generalize!

You need a thorough lit review. Yes you do

(Anything more? Anything more that I should do?)

It's the proof that we want, proof we really want. Ooh, ooh ooh.

It's the proof that we want, proof we really want. Ooh, ooh ooh.

It's the proof that we want, proof we really want. Ooh, ooh ooh.

It's concise! So very niiice!!!

If you're researching

Some conjecture,

That's too hard to formulate.

Iterate in my direction.

Coauthor me today

*You better shape up,*

'Cause I need a function

And my heart is set on convex.

You better shape up,

You better understand

That your theorem must be true.

'Cause I need a function

And my heart is set on convex.

You better shape up,

You better understand

That your theorem must be true.

[QED, nothing else we need to do]

It's the proof that we want, proof we really want. Ooh, ooh ooh.

It's the proof that we want, proof we really want. Ooh, ooh ooh.

It's the proof that we want, proof we really want. Q.E.D.

**GRAPH THEORY** (Lyrics: Wanless)

Its mathematic

Its subquadratic

Its 3-chromatic

Why it's Graph Theory! [Graph Theory!]

Let G be a graph. It's really quite a laff

[[Graph Theory, go Graph Theory]]

4 colours on the map, it really is a snap

7 bridges you must cross; Can't do it that's your loss

Go Graph Theory, put the work in network yeah

[[Graph Theory, go Graph Theory]]

Go Graph Theory, You just have to join the dots

[[Graph Theory, go Graph Theory]]

Any Ram can see, K6 arrow K3. That's Ramsey

A quantum random walk, let the eigenvalues talk

[[Graph Theory, go Graph Theory]]

Lopsided LLL -- it's not that hard to spell

[[Graph Theory, go Graph Theory]]

That weighted spanning tree, seems like Christmas came early

A phylogenetic tree shows how bugs relate to me

Go Graph Theory, putting the work in network yeah

(Graph Theory, go Graph Theory)

Go Graph Theory, You just have to join the dots

(Graph Theory, go Graph Theory)