« Former Students | Main | What it is like to apply to the BYU CS graduate program. »
May 03, 2006
Who's who in model checking
If you want to know who's who in model checking, then simply peruse the speaker's list for the following Symposium: 25 Years of Model Checking
Hopefully nothing catastrophic will happen at this event because that would set back the field of model checking for years.
I'll be at woodbadge that week, so I can't go. I may try to switch woodbadges or send my students. We'll see.
Posted by jones at May 3, 2006 10:33 AM
Comments
Post a comment
Thanks for signing in, . Now you can comment. (sign out)
(If you haven't left a comment here before, you may need to be approved by the site owner before your comment will appear. Until then, it won't appear on the entry. Thanks for waiting.)