The program for the April 1-2 workshop has been posted here. Keynoters include Douglas Husak and Richard Arneson.