Damn!this fim event got under my radar. it would have been a good event for my film group to meetup for... yes, "9413" is fantastic - saw it on dvd a while ago. but, the big screen of course would be better. It sounds like you have probably seen "Aelita, Queen of Mars" - but, here's a clip anyhow.
http://youtu.be/0WdgQVbu0XI