Category:FLoC2006

Media in category "FLoC2006"

The following 29 files are in this category, out of 29 total.

• 
  ACM 2005 Software System Award.jpg 432 × 640; 66 KB
  
• 
  Amir Pnueli FLoC 2006 (cropped).jpg 375 × 400; 65 KB
  
• 
  Amir Pnueli FLoC 2006.jpg 640 × 432; 109 KB
  
• 
  Andreas Blass FLoC 2006.jpg 640 × 432; 119 KB
  
• 
  Andrew Appel 2 FLoC 2006.jpg 432 × 640; 125 KB
  
• 
  Andrew Appel FLoC 2006.jpg 640 × 432; 145 KB
  
• 
  Andrew Appel, Dana Scott FLoC 2006.jpg 640 × 432; 157 KB
  
• 
  Andrew Apple (FloC 2006).jpg 432 × 640; 166 KB
  
• 
  Carl Hewitt FLoC 2006.jpg 640 × 432; 141 KB
  
• 
  David Harel (FLoC 2006).jpg 640 × 432; 151 KB
  
• 
  David Harel FLoC 2006.jpg 640 × 432; 144 KB
  
• 
  Edmund Clarke 2 FLoC 2006.jpg 640 × 432; 138 KB
  
• 
  Edmund Clarke FLoC 2006 (cropped).jpg 206 × 304; 49 KB
  
• 
  Edmund Clarke FLoC 2006.jpg 432 × 640; 123 KB
  
• 
  Edmund Clarke, Randal Bryant, Rajeev Alur FLoC 2006.jpg 640 × 432; 137 KB
  
• 
  FLoC2006 ACL2 Special Congratulations.jpg 640 × 432; 118 KB
  
• 
  Gerard J. Holzmann FLoC 2006.jpg 640 × 432; 95 KB
  
• 
  J Strother Moore FLoC 2006.jpg 260 × 326; 45 KB
  
• 
  J Strother Moore, Matt Kaufmann FLoC 2006.jpg 640 × 432; 146 KB
  
• 
  Rajeev Alur FLoC 2006.jpg 432 × 640; 139 KB
  
• 
  Randal Bryant FLoC 2006.jpg 186 × 287; 35 KB
  
• 
  Randal Bryant, Rajeev Alur FLoC 2006.jpg 640 × 432; 128 KB
  
• 
  Samson Abramsky FLoC 2006.jpg 432 × 640; 112 KB
  
• 
  Tony Hoare (FLoC 2006).jpg 432 × 640; 133 KB
  
• 
  Tony Hoare FLoC 2006.jpg 640 × 432; 115 KB
  
• 
  Tony Hoare, Wolfgang Bibel FLoC 2006.jpg 640 × 432; 127 KB
  
• 
  Moshe Y. Vardi FLoC 2006.jpg 640 × 432; 126 KB
  
• 
  Wolfgang Bibel FLoC 2006 (cropped).jpg 335 × 352; 60 KB
  
• 
  Wolfgang Bibel FLoC 2006.jpg 640 × 432; 116 KB