[LLVMdev] May 25th 2007 Developers Meeting (Update)

[Reid Spencer]

Hi Sarah,

On Wed, 2007-04-04 at 15:57 -0700, Sarah Thompson wrote:
> > On Sat, Mar 31, 2007 at 03:11:44PM -0700, Reid Spencer wrote:
> >   
> >> If you haven't confirmed your attendance yet, please do so by
> >> responding to this email. 
> >>     
> 
> Just to confirm, I do intend to come along. 

Great. You also mentioned someone else from NASA might be coming. Do you
know who yet?

> Are you still interested in 
> me giving a talk on NASA's work on using LLVM to support model checking, 
> symbolic execution and static analysis? If so, I'll block out some time 
> to prepare some slides. If not, I won't have to. :-)

Are we interested? That's one way to put it. 

You're one of the key speakers on our agenda so far! :)

Please see: http://llvm.org/DevMtgMay2007.html#sess3 

The bottom of that page also has you as a confirmed attendee.

See you there!

Reid.