AfC and I presented our tutorial at l.c.a today. I feel that the talk went quite well, although we were pressed for time at the end, so we had to press through some things I would have liked to spend more time on. The slides by themselves are not much use, but they are here. There is no video online yet.

The conference in general has been quite enjoyable so far. It's the little things, like having soy milk for coffee that really makes the difference. The facilities are also very nice. Only the keynote venue was a disappointment (it's a banquet hall with the world's loudest airconditioning), but I understand that the organisers were between a rock and a hard place with regards to keynote-venue choice.

The speaker's dinner was held in a church (almost a cathedral) and the delegates dinner was held at the night market (the bazaar). I was originally skeptical of how dinner at the night market might work out, but in the end I think it turned out quite well. There was an area set up like a beer hall in one of the sheds, with a hessian fence surrounding it. Food and drink vouchers were issued, and people went to get their own food.


Zendo in play
It turns out that Carl Worth happens to have the most interesting games. Tonight at the dinner we played Zendo a logic game where you need to infer the logic expression that governs a set. It's played using these pyramids. It's quite funny, you play round after round trying to infer the rule and then all of a sudden everyone clearly clicks what the rule is and you've only got to hope that the people before you don't have a guess stone.