This looks very interesting! Can someone with more understanding than me explain what this is about? :)

EDIT: Found this: http://zelus.di.ens.fr/