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

(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.
[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)