This page has moved to hanusa.xyz/talks.html.