ROSAEC-HKUST CSE Joint Workshop on Software Analysis for Error-free Computing
ROSAEC-HKUST CSE Joint Workshop on Software Analysis for Error-free Computing was held during 16-19 Jan 2012 (Monday-Thursday) at HKUST. Over 75 professors and researchers participated in the workshop. The workshop was driven by, but not limited to, semantic-based static analysis, programming language theories, formal methods, and corpus-based computation.
![Participants at the Workshop (1)](SSL26167.jpg)
Participants at the Workshop (1)
![Participants at the Workshop (2)](SSL26171.jpg)
Participants at the Workshop (2)
Navigation
Navigation
Research
Last updated on 2012-02-29
Follow us on