Please log in if you want to be notified when Byron Cook is mentioned on Eventseer.net. Click the tracker button below to activate notifications.
Click the button to be notified on your personal tracker whenever Byron Cook is mentioned in an event.

Byron Cook


Byron Cook has been associated with 21 events and shares similar interests with Daniel Kroening, Andreas Podelski and Josh Berdine. Byron's main research interests are model checking, computer and theorem proving.

Are you Byron Cook? Then click the "Claim!" button to claim ownership of this page. (You will be asked to sign up and log in first.)



If you happen to know who this is, you can send Byron an invitation:



The owner of this page can edit his or her biography, post whiteboard entries, and get a personalized deadline calendar.

about


RSS feeds

Whiteboard RSS for Byron Cook Whiteboard


tracker for Byron Cook


November 10, 2008

14th international workshop on formal methods for industrial critical systems (FMICS 2009) was updated.

November 4, 2008

14th international workshop on formal methods for industrial critical systems (FMICS 2009) was added.

October 2, 2008

21st international conference on computer aided verification (CAV 2009) was added.

June 11, 2008

10th international conference on verification, model checking, and abstract interpretation (VMCAI 2009) was added.

» Show all

Facts


Unable to load Flash content. The YUI Charts Control requires Flash Player 9.0.45 or higher. You can download the latest version of Flash Player from the Adobe Flash Player Download Center.