No formal program-- contact Kenneth Tolman,
tolman@cs.utah.edu, for details.