Wireless not working, so I am stuck with qwerty. Speaking of which, attempts at being flirty-qwerty with the italiane (or whatever the plural of italiana is) met with blank and/or confused looks mostly, but the occasional smile. No real action, though. Damn you, language barrier! I am so studying the local language at least a couple months in advance the next time I venture sutside of englishland.
In the morning Pat Lincoln gave a really neat talk on theorem-proving applications in biology of all things.
The afternoon was sight-seeing, involving the self-same Dr. Lincoln, Carsten, and a couple other folks whose names I've forgot. Got some pictures, will have to scan them in later.