Please see the <A HREF="http://www.etaps.org/2012" TARGET="_blank">ETAPS 2012 page</A> for more information.