> I saw the call for papers, but wasn't our conclusion that ETAPS wasn't so > great? True enough. It's more of a motivational tool. :-) It's pretty unlikely we'll get it done by then.