Byron Cook

FMSB, WG2.3, Andrey, etc...

Why travel to conferences when all of the interesting people and meetings come to me? This summer's examples include Formal Methods in Systems Biology, WG2.3, Workshop on the Verification of Concurrent Algorithms, and visits by Andrey, Mooly and others.......
at Tuesday, June 03, 2008
Newer Post Older Post Home

Byron Cook

View my complete profile

Blog Archive

  • ►  2012 (3)
    • ►  April (2)
    • ►  February (1)
  • ►  2011 (1)
    • ►  June (1)
  • ►  2010 (3)
    • ►  November (2)
    • ►  September (1)
  • ►  2009 (7)
    • ►  October (1)
    • ►  August (1)
    • ►  June (2)
    • ►  April (1)
    • ►  March (1)
    • ►  January (1)
  • ▼  2008 (31)
    • ►  December (2)
    • ►  November (1)
    • ►  October (3)
    • ►  August (3)
    • ►  July (3)
    • ▼  June (2)
      • FMSB, WG2.3, Andrey, etc...
      • Rebooting "Communications of the ACM"
    • ►  May (4)
    • ►  April (5)
    • ►  March (4)
    • ►  January (4)
  • ►  2007 (12)
    • ►  December (7)
    • ►  November (5)

Links

  • Byron at work
  • TERMINATOR project
  • SLAyer project
  • SLAM project
  • SDV product
  • East London Massive
Simple theme. Powered by Blogger.