Begin forwarded message:
From: Rita Gatto
Date: April 23, 2010 6:33:07 PM CDT
To: sl...@cs.utah.edu
Subject: Rockwell Collins Automated Analysis
Hello Konrad
Once again, RC is expanding and has an opening under Matt Wilding
in the Automated Analysis group. Rockwell Collins is pursuing a
(* Apologies if you receive multiple copies of this announcement *)
*
*** Call for POSTERS ***
3rd International Conference on Verified Software: Theories, Tools, and
Experiments (VSTTE 2010)
Edinburgh, Scotland
August 16th-19th,
