Re: [Workshop-nov2011] Workshop starts Tue at 8:30, wiki pages, and so forth