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