On Sun, Jul 13, 2008 at 12:16 AM, Don Stewart <dons at galois.com> wrote: > johan.tibell: >> On Sat, Jul 12, 2008 at 12:13 AM, Don Stewart <dons at galois.com> wrote: >> Any possibility of you guys taping the talk? > > Unlikely next week, but soon, yes! How about the slides?