Detailed program including the paper abstracts is available here.