generals practice talk

Subject: generals practice talk
From: Todd D Millstein (todd@cs.washington.edu)
Date: Mon Apr 10 2000 - 10:05:08 PDT

• sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Next message: Ian Upright: "unsubscribe"
• Previous message: David Notkin: "Frank Tip, IBM Research"

I'll be having a practice generals talk on Monday, April 17 at 3:30 in
room 114, and I would greatly appreciate your attendance. The topic is
using model checking for static analysis of software. As always, some
kind of food will be supplied.

Please let me know if you'll be coming, so I can make sure that enough
people will show up. Also, if this time is particularly bad for some
reason, let me know that too.

Thanks a lot.

Todd

• Next message: Ian Upright: "unsubscribe"
• Previous message: David Notkin: "Frank Tip, IBM Research"

This archive was generated by hypermail 2b25 : Tue Oct 03 2000 - 15:21:29 PDT