++> Follow on Twitter *2011-07-31* [[ProgramCommittee][Program Committee]] formed. *2011-04-25* [[ImportantDates][Workshop date]] fixed. *2011-03-11* BX accepted as ETAPS 2012 workshop. %STOPINCLUDE%