In an effort to allow folks to attend both talks tomorrow, Alec will begin his discussion of Twelf at 10am. I don't know if WVH366 is available that early, so we may have to hunt for a location. Richard