A detailed program is available online.